TY  - BOOK
AU  - Sancho San Román,J.
TI  - Lógica matemática y computabilidad
SN  - 8487189539
AV  - QA9 S35 1990
PY  - 1990///
CY  - Madrid
PB  - Díaz de Santos, 
KW  - Lógica simbólica y matemática
KW  - lemb
KW  - Funciones computables
N1  - Incluye referencias bibliográficas
ER  -