Intuitionism and Proof Theory: Proceedings of the Summer...

Main
Mathematics
Intuitionism and Proof Theory:...

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

A. Kino, J. Myhill and R.E. Vesley (Eds.)

0 / 0

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

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

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

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

カテゴリー:

年:

1970

出版社:

Elsevier Science

言語:

english

ISBN 10:

0720422574

ISBN 13:

9780720422573

シリーズ:

Studies in Logic and the Foundations of Mathematics 60

ファイル:

PDF, 10.36 MB

IPFS:

,

english, 1970

オンラインで読む

への変換進行中。

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

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

Andrzej Mostowski — Constructible sets with applications

Toshiyasu Arai — Ordinal Analysis

Paul J. Cohen — Set Theory and the Continuum Hypothesis

J N Crossley, M A E Dummett — Formal Systems and Recursive Functions

Paul J. Cohen — Set Theory and the Continuum Hypothesis

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

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

Mathias A.R.D., Rogers H. — Cambridge Summer School In Mathematical Logic

Gaisi Takeuti — Proof Theory

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

Crossley J.N., Dummett M.A.E. (eds.) — Formal Systems and Recursive Functions (Logic Colloquium'63)

Mostowski A. — Foundational Studies: Selected works

Dirk van Dalen, etc. — Logic Colloquium '80 (no TOC)

A.S. Troelstra, D.van Dalen, D. Van Dalen — L.E.J.Brouwer Centenary Symposium Proceedings

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

Cooper S.B., Truss J.K. (eds.) — Sets and Proofs

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

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

Jeremy Avigad — Mathematical Logic and Computation

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

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

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics

Odifreddi, Piergiorgio Odifreddi — Kreiseliana: About and Around Georg Kreisel

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Serafim Batzoglou — Introduction to Incompleteness

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

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

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

主要なフレーズ