Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

The collected papers of Gerhard Gentzen

Main
Mathematics
The collected papers of Gerhard Gentzen

The collected papers of Gerhard Gentzen

Gerhard Gentzen

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Szabo M.E. (ed.) The collected papers of Gerhard Gentzen (Amsterdam, NH Pub. Co., 1969 [1970)(ISBN 072042254X)

Categorías:

Año:

1969

Editorial:

North-Holland Pub. Co

Idioma:

english

Páginas:

350

ISBN 10:

072042254X

ISBN 13:

9780720422542

Serie:

Studies in logic and the foundations of mathematics

Archivo:

DJVU, 3.03 MB

IPFS:

,

english, 1969

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

Gerhard Gentzen — The collected papers of Gerhard Gentzen

Unknown — ProofTheory-BW.pdf

Michael Moortgat — Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus [PhD Thesis]

Brauner T. — Introduction to linear logic

Francesco Paoli — Substructual Logics: A Primer

Toshiyasu Arai — Ordinal Analysis

David Bostock — Intermediate Logic

Grigori Mints — Short Introduction to Intuitionistic Logic

Grigori Mints — A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)

Gaisi Takeuti — Proof Theory

M.E. Szabo (Eds.) — The Collected Papers of Gerhard Gentzen

Gaisi Takeuti — Proof theory

Mints, Grigorii E — Selected papers in proof theory

Samuel R. Buss (Editor) — Handbook of Proof Theory

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Gaisi Takeuti — Proof Theory

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

Stephen C. Kleene — Two Papers on the Predicate Calculus

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski — Collected Papers of Stig Kanger with Essays on his Life and Work, Vol. I

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics

Andrzej Indrzejczak — Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Michael Moortgat — Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus

Anna Horská (auth.) — Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.) — Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.) — Theories of types and proofs

Jean-Yves Girard — Proof Theory and Logic Complexity: Volume 1

Términos más frecuentes