Introduction to Metamathematics

Main
Mathematics
Introduction to Metamathematics

Introduction to Metamathematics

S.C. Kleene

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Tahun:

1952

Edisi:

First Printing

Penerbit:

North-Holland Publishing Co.

Bahasa:

english

Halaman:

280

Nama siri:

Bibliotheca Mathematica

Fail:

DJVU, 12.76 MB

IPFS:

,

english, 1952

Baca dalam Talian

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

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

Istilah utama