Causey, Robert L.

Logic sets and recursion / By Robert L Causey. - 2nd ed. - New Delhi : Jones and Bartlett Publishers , 2010. - ix,512p. ;

9789380108087


Sentential calculus
Recursion and mathematical induction
Predicate calculus

515.1 / CAUR