La máquina y las demostraciones : matemáticas, lógica e informática /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Madrid :
Alianza,
1987
|
| Colección: | Alianza Universidad Filosofía
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00608nam a2200205 4500 | ||
|---|---|---|---|
| 001 | 027202 | ||
| 003 | arbauncb | ||
| 008 | 150429s1987 sp g 000 0 spa d | ||
| 005 | 20171018130127.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 245 | 1 | 3 | |a La máquina y las demostraciones : |b matemáticas, lógica e informática / |c Gabriele Lolli |
| 260 | |a Madrid : |b Alianza, |c 1987 | ||
| 440 | 0 | |a Alianza Universidad |p Filosofía |n 697 | |
| 020 | |a 842062697X | ||
| 100 | 1 | |a Lolli, Gabriele | |
| 082 | 0 | 4 | |a 164 |
| 650 | 7 | |a Lógica matemática |2 unescot | |
| 650 | 7 | |a Matemáticas |2 mpirdes | |
| 300 | |a 131 p. |c 20 cm | ||
| 999 | |c 27114 |d 27114 | ||