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

온라인으로 읽기

다운로드 (djvu, 3.25 MB)

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

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

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

주로 사용되는 용어