寄付 2024年9月15日 – 2024年10月1日募金について

Collected Papers of Stig Kanger with Essays on his Life and...

Main
Mathematics
Collected Papers of Stig Kanger with...

Collected Papers of Stig Kanger with Essays on his Life and Work: Vol. I

Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski (auth.), Ghita Holmström-Hintikka, Sten Lindström, Rysiek Sliwinski (eds.)

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

年:

2001

版:

1

出版社:

Springer Netherlands

言語:

english

ページ:

305

ISBN 10:

9401005001

ISBN 13:

9789401005005

シリーズ:

Synthese Library 303

ファイル:

PDF, 9.08 MB

IPFS:

,

english, 2001

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

James D. Carney — Introduction to Symbolic Logic

Sider Ted — Logic for Philosophy

Copeland, B Jack — The Genesis of Possible Worlds Semantics

Harrie de Swart — Philosophical and Mathematical Logic

misc. authors — Proceedings of a Colloquium on Modal and Many-Valued Logics

Bowen, Kenneth A — Model theory for modal logic: Kripke models for modal predicate calculi

Mints, Grigorii E — Selected papers in proof theory

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

Stephen Cole Kleene — Mathematical Logic

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

Lou Goble — The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides)

Lou Goble — The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides)

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

A. S. Troelstra — Lectures on Linear Logic

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

von Plato J. — Elements of Logical Reasoning

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, Volume I

Krister Segerberg, Sören Halldén, Jan Berg (auth.), Ghita Holmström-Hintikka, Sten Lindström, Rysiek Sliwinski (eds.) — Collected Papers of Stig Kanger with Essays on His Life and Work: Vol. II

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

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

Seiki Akama, Yotaro Nakayama, Tetsuya Murai — Epistemic Situation Calculus Based on Granular Computing: A New Approach to Common-Sense Reasoning

Jӧrg Siekmann and Graham Wrightson (eds.) — Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966

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

Fitting, Melvin — Proof methods for modal and intuitionistic logics

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

Mints G.E. — Selected papers in proof theory

Dagfinn Føllesdal, Risto Hilpinen (auth.), Risto Hilpinen (eds.) — Deontic Logic: Introductory and Systematic Readings

Melvin Fitting (auth.) — Proof Methods for Modal and Intuitionistic Logics

Evert W. Beth — Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

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