| 000 | 00702cam a2200205 i 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20260705164700.0 | ||
| 008 | 140327s2014 enk b 001 0 eng | ||
| 020 | _a9781107036505 (hbk.) | ||
| 040 | _cKrea | ||
| 082 | 0 | 0 | _a551.3 NED |
| 100 | 1 |
_aNederpelt, Rob. _eauthor. _9382 |
|
| 245 | 1 | 0 |
_aType theory and formal proof: an introduction / _cRob Nederpelt, Herman Geuvers. |
| 260 |
_aNew York : _bCambridge University Press, _c2014. |
||
| 300 |
_axxv, 436 p. : _c24 cm. |
||
| 650 | 0 |
_aType theory. _xProgramming Languages _yScience & Nature _zPhilosophy _9383 |
|
| 700 | 1 |
_aGeuvers, Herman, _eauthor. _9384 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c124428 _d124428 |
||