La máquina y las demostraciones : matemáticas, lógica e informática / Gabriele Lolli ; vers. española de Jesús Hernández

Por:

Lolli, Gabriele, 1942-

Colaborador(es):

Hernández, Jesús

Tipo de material: Texto

TextoIdioma: Español Lenguaje original: Italiano Series Alianza universidad. Filosofía ; ; 697Detalles de publicación: Madrid : Alianza, c1991Descripción: 131 p. ; 20 cmISBN:

842062697X

Tema(s):

Clasificación LoC:

QA 9 L6518.1991

Existencias ( 1 )
Notas de título ( 2 )

Existencias
Tipo de ítem	Biblioteca actual	Colección	Signatura topográfica	Estado	Fecha de vencimiento	Código de barras
Libros	Biblioteca Francisco Xavier Clavigero Acervo	Acervo General	QA 9 L6518.1991 (Navegar estantería(Abre debajo))	Disponible		181059

Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo		No hay imagen de cubierta disponible	No hay imagen de cubierta disponible				No hay imagen de cubierta disponible	Siguiente
Previo	QA 9 K67818 Lógica y algoritmos : con aplicaciones a las ciencias de la computación e información /	QA 9 L55 Las grandes corrientes del pensamiento matemático /	QA 9 L55.1976 Las grandes corrientes del pensamiento matemático /	QA 9 L6518.1991 La máquina y las demostraciones : matemáticas, lógica e informática /	QA 9 M294.1975 Completeness, compactness and undecidability : an introduction to mathematical logic /	QA 9 M347.1997 Mathematical reasoning : analogies, metaphors, and images /	QA 9 M37 Filosofía de las matemáticas /	Siguiente

Traducción de La macchina e le dimostrazioni. Matematica, logica e informatica.

Incluye índice de nombres.