000 00661nam a2200217Ia 4500
005 20220715100359.0
008 210716s2010 xx 000 0 und d
020 _a9789380108087
040 _cAIMIT LIBRARY
041 _aeng
082 _a515.1
_22
_bCAUR
100 _aCausey, Robert L.
_949732
245 _aLogic sets and recursion /
_cBy Robert L Causey.
250 _a2nd ed.
260 _aNew Delhi :
_bJones and Bartlett Publishers ,
_c2010.
300 _aix,512p. ;
650 _aSentential calculus
_949733
650 _aRecursion and mathematical induction
_949734
650 _aPredicate calculus
_949735
942 _2ddc
_cBK
_e2nd
_k515.1 CAUR
999 _c190613
_d190613