Selected papers in proof theory

Main
Society, Politics & Philosophy - General & Miscellaneous Philosophy
Selected papers in proof theory

Selected papers in proof theory

Mints, Grigorii E

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

Society, Politics & Philosophy - General & Miscellaneous Philosophy

年:

1992

出版商:

Bibliopolis

語言:

english

頁數:

294

ISBN 10:

8870882284

ISBN 13:

9788870882285

文件:

DJVU, 3.98 MB

IPFS:

,

english, 1992

下載 (djvu, 3.98 MB)

轉換進行中

轉換為失敗

你可能感興趣

Unknown — ProofTheory-BW.pdf

Schwichtenberg H. — Proof theory

Ershov Yu. L., Palyutin E. A. — Mathematical logic

Ershov Yu.L., Palyutin E.A. — Mathematical logic

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

Grigori Mints — Short Introduction to Intuitionistic Logic

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

Gaisi Takeuti — Proof Theory

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

Gaisi Takeuti — 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

Stephen C. Kleene — Two Papers on the Predicate Calculus

A. G. Dragalin — Mathematical Intuitionism: Introduction to Proof Theory

A. S. Troelstra — Lectures on Linear Logic

A. M. Ungar — Normalization, cut-elimination and the theory of proofs

Sara Negri, Jan von Plato — Proof Analysis: A Contribution to Hilbert's Last Problem

von Plato J. — Elements of Logical Reasoning

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

Ruy J.G.B. de Queiroz (ed.) — Logic for Concurrency and Synchronisation

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

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

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) — Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

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

最常見的術語