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