Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Undecidable theories /
Descripción
Citar
Enviar este por Correo electrónico
Imprimir
Exportar Registro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Exportar a MARC
Exportar a RDF
Exportar a BibTeX
Exportar a RIS
Undecidable theories /
Detalles Bibliográficos
Autores principales:
Tarski, Alfred
(Autor, Autor/a)
,
Mostowski, Andrzej
(Autor/a)
,
Robinson, Raphael Mitchell 1911-
(Autor/a)
Formato:
Libro
Lenguaje:
English
Publicado:
Amsterdam :
North Holland,
1953.
Materias:
TEOREMA DE GODEL
Existencias
Descripción
Ejemplares similares
Vista Equipo
Descripción
Descripción Física:
98 páginas
Ejemplares similares
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
por: Mostowski, Andrzej, et al.
Publicado: (1964)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)
Extensional Godel functional interpretation : a consistency proof of classical analysis.
por: Luckhardt, Horst, et al.
Publicado: (1964)
La prueba de Gödel /
por: Newman, James Roy 1907-, et al.
Publicado: (1959)
La Matemática Godeliana y sus implicaciones filosóficas
por: Korner, Stephan 1913-
Publicado: (1972)
×
Cargando...