00561nam a2200193Ia 450000500170000000800410001702000180005804000180007604100080009408200200010210000220012224500520014425000120019626000560020830000150026465000240027965000410030365000230034420220715100359.0210716s2010    xx            000 0 und d  a9789380108087  cAIMIT LIBRARY  aeng  a515.1 22bCAUR  aCausey, Robert L.  aLogic sets and recursion /cBy Robert L Causey.  a2nd ed.  aNew Delhi :bJones and Bartlett Publishers ,c2010.  aix,512p. ;  aSentential calculus  aRecursion and mathematical induction  aPredicate calculus