Theories of types and proofs

Main
Theories of types and proofs

Theories of types and proofs

Takahashi M., Okada M., Dezani-Ciancaglini M. (eds.)

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

年:

1998

出版商:

MSJ

語言:

english

頁數:

296

ISBN 10:

4931469027

ISBN 13:

9784931469020

系列:

Mathematical Society of Japan Memoir 2

文件:

DJVU, 3.25 MB

IPFS:

,

english, 1998

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Матвиевская Г.П. (ред.) — Из истории физико-математических наук на средневековом Востоке

Unknown — ProofTheory-BW.pdf

Francesco Paoli — Substructual Logics: A Primer

Artemov, S.N. — Explicit Provability and Constructive Semantics

Pogorzelski, Witold Adam — Notions and theorems of elementary formal logic

Kosta Došen, Peter Schroeder-Heister — Substructural Logics

Patrick D. Lincoln — Computational Aspects of Linear Logic (Foundations of Computing Series)

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

Queiroz, Ruy J. G. B. de (ed.) — Logic for concurrency and synchronisation

Gaisi Takeuti, 竹内外史 — Proof Theory

Gaisi Takeuti — Proof theory

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

Jean-Yves Girard, Yves Lafont, Laurent Regnier — Advances in linear logic

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

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

von Plato J. — Elements of Logical Reasoning

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

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

Norihiro Kamide, Heinrich Wansing — Proof Theory of N4-Paraconsistent Logics

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

Jean-Yves Girard — The Blind Spot: Lectures on Logic

Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.) — Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

Heinrich Wansing (auth.) — The Logic of Information Structures

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

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.) — Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

N. G. de Bruijn (auth.), Harrie de Swart (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Ulrich Berger, Helmut Schwichtenberg (eds.) — Computational Logic

Witold A. Pogorzelski — Notions and theorems of elementary formal logic

Syraya Chin-Mu Yang,Kok Yong Lee,Hiroakira Ono (eds.) — Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016

最常見的術語