The collected papers of Gerhard Gentzen

Main
Mathematics
The collected papers of Gerhard Gentzen

The collected papers of Gerhard Gentzen

Gerhard Gentzen

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

1969

Casa editrice:

North-Holland Pub. Co

Lingua:

english

Pagine:

350

ISBN 10:

072042254X

ISBN 13:

9780720422542

Collana:

Studies in logic and the foundations of mathematics

File:

DJVU, 3.35 MB

IPFS:

,

english, 1969

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Frank Plumpton Ramsey — Foundations of mathematics and other logical essays

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

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

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

Termini più frequenti