TY  - BOOK
AU  - Causey, Robert L.
TI  - Logic sets and recursion
SN  - 9789380108087
U1  - 515.1  2
PY  - 2010///
CY  - New Delhi
PB  - Jones and Bartlett Publishers
KW  - Sentential calculus
KW  - Recursion and mathematical induction
KW  - Predicate calculus
ER  -