Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Su búsqueda recuperó 3 resultados.

Ordenar
Resultados
Sentences undecidable in formalized arithmetic : An exposition of the theory of kurt godel / Andrzej mostowski

por Mostowski, Andrzej [autor].

Series Studies in logic and the foundations of mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-holland, 1952Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 M67.

Undecidable theories / by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson

por Tarski, Alfred [autor] | Mostowski, Andrzej [colaborador] | Robinson, Raphael Mitchel, 1911- [colaborador].

Series Studies in logic and the foundations of mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : North-Holland, 1968Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 T355 1968.

Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson

por Tarski, Alfred [autor] | Mostowski, Andrzej [colaborador] | Robinson, Raphael M. (Raphael Mitchel), 1911- [colaborador].

Series Dover books on mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Mineola, New York : Dover, 2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 T355 2010.

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad