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 - España : Alianza, 1987 - 131 p. ; 20 cm. - Alianza Universidad ; 697 .

84-206-2697-X


Informática ---Alocuciones, ensayos, conferencias

AC 75 / U55 697