Introduction to Metamathematics

Main
Mathematics
Introduction to Metamathematics

Introduction to Metamathematics

S.C. Kleene

0 / 0

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

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

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

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

カテゴリー:

年:

1952

版:

First Printing

出版社:

North-Holland Publishing Co.

言語:

english

ページ:

280

シリーズ:

Bibliotheca Mathematica

ファイル:

DJVU, 12.76 MB

IPFS:

,

english, 1952

オンラインで読む

への変換進行中。

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

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

S.C. Kleene — Introduction to Metamathematics

Stephen Cole Kleene, Richard Eugène Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Gallier J., Quaintance J. — Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

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

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

Joel W. Robbin — Mathematical Logic: A First Course

Kurt Gödel — The Princeton Lectures on Intuitionism

Kurt Gödel / Solomon Feferman et al. — Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

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

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

Wang H. — A survey of mathematical logic

Kneebone, G. T. — Mathematical Logic and The Foundations of Mathematics

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

Andrea Cantini — Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Yu. I. Manin — A Course in Mathematical Logic

Kurt Gödel — Kurt Gödel: Collected Works volume I

G T Kneebone — Mathematical logic and the foundations of mathematics

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

Hao Wang — A Survey of Mathematical Logic.

Stephen Cole Kleene, R.E. Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

Andrea Cantini — Logical Frameworks for Truth and Abstraction: An Axiomatic Study

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)

Stephen Cole Kleene — Mathematical Logic

Martin Davis — The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions

S. W. P. Steen — Mathematical Logic with Special Reference to the Natural Numbers

S. W. P. Steen — Mathematical logic with special reference to natural numbers

Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

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

John L. Pollock — Technical Methods in Philosophy (Focus Series)

Pollock J.L. — Technical methods in philosophy

主要なフレーズ