TY  - BOOK
AU  - Causey, Robert L
TI  - Logic, sets, and recursion
SN  - 086720463X
AV  - QA 9 C347.1994
U1  - 511.3 20
PY  - 1994///
CY  - Boston
PB  - Jones and Bartlett
KW  - Lógica simbólica y matemática
N1  - Incluye referencias (p. 359-364) e índice
ER  -