TY  - BOOK
AU  - Robert L. Causey
TI  - Logic, Sets, and Recursion
SN  - 0-86720-463-X
AV  - QA 9.C347/ 
CY  - London
KW  - Logic, Symbolic and Mathematical
ER  -