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
Sentences undecidable in forma...
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
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Detalles Bibliográficos
Autor principal:
Mostowski, Andrzej
(Autor, Autor/a)
Formato:
Libro
Lenguaje:
English
Publicado:
Amsterdam :
North-Holland Pub. Co.,
1964.
Materias:
LOGICA, SIMBOLICA Y MATEMATICA
SEMANTICA (FILOSOFIA)
TEOREMA DE GODEL
Existencias
Descripción
Ejemplares similares
Vista Equipo
Descripción
Descripción Física:
117 páginas
Ejemplares similares
Undecidable theories /
por: Tarski, Alfred, et al.
Publicado: (1953)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 /
por: Mostowski, Andrzej, et al.
Publicado: (1966)
A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
por: Bouvere, Karel Louis de, et al.
Publicado: (1959)
La prueba de Gödel /
por: Newman, James Roy 1907-, et al.
Publicado: (1959)
×
Cargando...