TY  - BOOK
AU  - Causey,Robert L.
TI  - Logic, sets, and recursion
AV  - QA9 C387L
PY  - 1994///
CY  - Boston, Mass.
PB  - Jones and Bartlett
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
ER  -