The collected papers of Gerhard Gentzen /
Provability, Computability and Reflection.
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | Szabo, M. E., Gentzen, Gerhard |
Formato: | Electrónico eBook |
Idioma: | Inglés Alemán |
Publicado: |
Amsterdam :
North-Holland,
1969.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 55. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Ejemplares similares
-
On the metamathematics of algebra /
Publicado: (1951) -
The metamathematics of algebraic systems, collected papers: 1936-1967 /
por: Mal��t�sev, A. I. (Anatoli�i Ivanovich), 1909-1967
Publicado: (1971) -
Introduction to model theory and to the metamathematics of algebra.
por: Robinson, Abraham, 1918-1974
Publicado: (1963) -
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987) -
Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Publicado: (1982)