La máquina y las demostraciones : matemáticas, lógica e informática /
Lolli, Gabriele.
La máquina y las demostraciones : matemáticas, lógica e informática / Gabriele Lolli ; versión española de Jesús Hernández. - Madrid : Alianza Editorial, [1991] - 131 p. ; 20 cm. - Alianza universidad ; 697 . - Alianza universidad ; 697 .
84-206-2697-X
Lógica matemática
164 510.6
La máquina y las demostraciones : matemáticas, lógica e informática / Gabriele Lolli ; versión española de Jesús Hernández. - Madrid : Alianza Editorial, [1991] - 131 p. ; 20 cm. - Alianza universidad ; 697 . - Alianza universidad ; 697 .
84-206-2697-X
Lógica matemática
164 510.6
