000 | 00499nam a22001817a 4500 | ||
---|---|---|---|
999 |
_c30726 _d30725 |
||
003 | OSt | ||
005 | 20180627031813.0 | ||
008 | 180627b ||||| |||| 00| 0 eng d | ||
040 |
_aMMU _beng _cMMU _dMMU |
||
050 | _aQA 9 .H644 2006 | ||
100 | _aHoffman Peter | ||
245 |
_aLogic for the Mathematical/ _cPeter Hoffman. |
||
260 |
_bUniversity of Waterloo; _c2006. |
||
300 | _a415 p.: | ||
500 | _aIncludes bibliographical references | ||
650 | _aMathematical Logic | ||
942 |
_2lcc _cLOAN LOAN |