Undecidable theories /
Guardado en:
| Autor Principal: | Tarski, Alfred. |
|---|---|
| Otros Autores: | Mostowski, Andrzej. (Colaborador), Robinson, Raphael M. (Colaborador) |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
North-Holland,
1953.
|
| Series: | Studies in logic and the foundations of mathematics
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
Publicado: (1965) -
Cornerstones of undecidability /
por: Rozenberg, Grzegorz.
Publicado: (1994) -
Forever undecided : a puzzle guide to Gödel /
por: Smullyan, Raymond M.
Publicado: (1988) -
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
por: Mostowski, Andrzej.
Publicado: (1952) -
A formalization of set theory without variables /
por: Tarski, Alfred.
Publicado: (1987)
