| 000 | 01034cam a2200277 i 4500 | ||
|---|---|---|---|
| 001 | 18083832 | ||
| 005 | 20260706230521.0 | ||
| 008 | 140327s2014 enk b 001 0 eng | ||
| 010 | _a 2014010865 | ||
| 020 | _a9781107036505 (hbk.) | ||
| 035 | _a18083832 | ||
| 040 |
_aDLC _beng _cKrea _erda _dDLC |
||
| 042 | _apcc | ||
| 050 | 0 | 0 |
_aQA9 _b.N37 2014 |
| 082 | 0 | 0 | _a551.3 NED |
| 084 |
_aCOM051010 _2bisacsh |
||
| 100 | 1 |
_aNederpelt, Rob, _eauthor. _9382 |
|
| 245 | 1 | 0 |
_aType theory and formal proof: an introduction / _cRob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. |
| 260 |
_aCambridge ; _bCambridge University Press, _c2014. |
||
| 300 |
_avii, 436 pages ; _c25 cm |
||
| 650 | 0 |
_aType theory. _9425 |
|
| 650 | 7 |
_aCOMPUTERS / Programming Languages / General. _2bisacsh _9426 |
|
| 700 | 1 |
_aGeuvers, Herman, _d1964- _eauthor. _9427 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c124441 _d124441 |
||