TY  - BOOK
AU  - Lolli,Gabriele
AU  - Hernández,Jesús
TI  - La máquina y las demostraciones: matemáticas, lógica e informática 
SN  - 842062697X
AV  - QA 9 L6518.1991
PY  - 1991///
CY  - Madrid
PB  - Alianza
KW  - Lógica simbólica y matemática
KW  - Máquinas lógicas
N1  - Traducción de La macchina e le dimostrazioni. Matematica, logica e informatica; Incluye índice de nombres
ER  -