TY  - BOOK
AU  - Boolos,George S.
AU  - Jeffrey,Richard C.
TI  - Computability and logic 
SN  - 0521389232
AV  - QA9.59 B66 1989
PY  - 1989///
CY  - New York : 
PB  - Cambridge, 
KW  - lemb
KW  - Funciones recursivas
KW  - Lógica matemática
N1  - Incluye índice
ER  -