000 00518nam a2200217 454500
001 079601
003 BD-ChCU
008 Eng
020 _ax
040 _aDLC
_cDLC
_dBD-ChCU
082 0 0 _a511.3/MEI
100 1 _aMendelson,Elliott
_bx
245 1 0 _aIntroduction to mathematical logic
_bx
250 _a2n.ed
260 _aN. Y
_bVan Nostrand,
_c1979
300 _avii,328p.
504 _a
650 0 _aLogic,Symbolic & mathematical
_bLogic,Symbolic & mathematical
700 1 _ax
942 _2ddc
_cBK
999 _c79601
_d79601