募捐 9月15日2024 – 10月1日2024 关于筹款

Introduction to Metamathematics

Main
Computers - Programming
Introduction to Metamathematics

Introduction to Metamathematics

Stephen Cole Kleene

0 / 5.0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Computers - Programming

年:

1971

出版社:

Wolters-Noordhoff Publishing

语言:

english

页:

560

ISBN 10:

0720421039

ISBN 13:

9780720421033

系列:

Bubliotheca Mathematica

文件:

PDF, 14.50 MB

IPFS:

,

english, 1971

因版权方投诉，本书无法下载

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

您可能会感兴趣

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

Helena Rasiowa; Roman Sikorski — The mathematics of metamathematics.

S.C. Kleene — Introduction to Metamathematics

Alfred Tarski — Logic, Semantics, Metamathematics. Papers from 1923 to 1938

Kleene, Stephen Cole — Mathematical Logic

Dag Prawitz — Natural Deduction: A Proof-Theoretical Study

Hilbert David, Wilhelm Ackermann — The Principles of Mathematical Logic

Alexandre Borovik — Shadows of the Truth: Metamathematics of Elementary Mathematics

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

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

Kurt Godel — Collected Works: Volume II: Publications 1938-1974 (Godel, Kurt Collected Works)

Raymond M. Smullyan — Recursion Theory for Metamathematics

Grzegorz Malinowski — Many-Valued Logics

Nathan Salmon — Metaphysics, Mathematics, and Meaning: Philosophical Papers

Stephen Cole Kleene — Mathematical Logic

N. Shankar — Metamathematics, Machines and Gödel's Proof

P. T. Johnstone — Notes on Logic and Set Theory

S.C. Kleene — Introduction to Metamathematics

Petr Hájek, Pavel Pudlák — Metamathematics of First-Order Arithmetic

Dirk van Dalen — Logic and Structure

Kenneth Kunen — The Foundations of Mathematics

William Boos — Metamathematics and the Philosophical Tradition

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.) — Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

关键词