Cargando…

La máquina y las demostraciones : matemáticas, lógica e informática

Detalles Bibliográficos
Autor principal: Lolli, Gabriele, 1942-
Formato: Libro
Lenguaje:Spanish
Publicado: Madrid : Alianza, 1991
Colección:Alianza Universidad Filosofía ; 697.
Materias:

MARC

LEADER 00000nam a22000002a 4500
001 SBUV011189
006 a 000 0
008 000318s1991 sp b 000 0 spa d
020 |a 842062697X 
035 |a (Sirsi) i9788420626970 
035 |a (Sirsi) SBUV011189 
040 |a DLC 
050 4 |a QA9  |b L64 
082 4 |a 511.3 
100 1 |a Lolli, Gabriele,  |d 1942- 
245 1 3 |a La máquina y las demostraciones  |b : matemáticas, lógica e informática  |c / Gabriele Lolli ; vers. española de Jesús Hernández. 
260 |a Madrid  |b : Alianza,  |c 1991 
300 |a 131 p.  |c ; 20 cm. 
490 0 0 |a Alianza Universidad  |v ; 697.  |a Filosofía 
504 |a Incluye notas bibliográficas. 
534 |a La macchina e le dimostrazioni. 
650 4 |a Lógica matemática. 
902 |a DBUV 
596 |a 2 
942 |c LIBRO  |6 _ 
999 |c 11066  |d 11066