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