000 00670nam a2200229Ia 4500
003 OSt
005 20260312123657.0
008 210716s2006 xx 000 0 und d
020 _a9788131201916
040 _cAIMIT LIBRARY
041 _aeng
082 _a511.3
_22
_bENDH
100 _aEnderton, Herbert B.
_9258626
245 _aMathematical introduction to logic /
_cBy Herbert B Enderton.
250 _a2nd ed.
260 _aNew Delhi :
_bAcademic Press ,
_c2006.
300 _axii,317p. ;
_bPB
_c23.2 cm
650 _aSentential logic
_9258627
650 _aFirst order logic
_9258628
650 _aUndecidability
_9258629
942 _2ddc
_cBK
_e2nd
_k511.3 ENDH
999 _c190294
_d190294