The Foundations of Intuitionistic Mathematics: Especially...

Main
Mathematics - Logic
The Foundations of Intuitionistic...

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, Richard Eugène Vesley

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Mathematics - Logic

Jahr:

1965

Verlag:

North-Holland Publishing Company

Sprache:

english

Seiten:

210

Serien:

Studies in Logic and the Foundations of Mathematics 39

Datei:

PDF, 9.79 MB

IPFS:

,

english, 1965

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

Kleene, Stephen Cole — Mathematical Logic

Hirst H.P., Hirst J.L. — A primer for logic and proof

Stephen C Kleene — Turing's Analysis of Computability and Major Applications of it (Oxford

Leon Henkin, Patrick Suppes, Alfred Tarski (eds.) — The Axiomatic Method: With Special Reference to Geometry and Physics

Farin G. — Curves and surfaces for computer-aided geometric design(program floppy disc)

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. Publications 1929-1936

Solomon Feferman — In the Light of Logic

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

A. Heyting — Intuitionism: An Introduction

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

S.C. Kleene — Introduction to Metamathematics

Stephen C. Kleene — Formalized Recursive Functionals and Formalized Realizability

Mauro Di Nasso, Isaac Goldbring, Martino Lupini — Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

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

S.C. Kleene — Introduction to Metamathematics

Kohlenbach U. — Proof interpretations

S. C. Kleene — Classical extensions of intuitionistic mathematics [one chapter from the book only]

D. A Clarke — Hierarchies of predicates of finite types,

Thomas Streicher — Introduction to Constructive Logic and Mathematics [Lecture notes]

Thomas Streicher — Realizability [Lecture notes]

Carl J. Posy — Mathematical Intuitionism

Yehoshua Bar-Hillel — Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress

— Constructive Logic and Mathematics 001

Giovanni Sambin, Jan M. Smith — Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

A. S. Troelstra — Choice Sequences: A Chapter of Intuitionistic Mathematics

Susumu Hayashi, Hiroshi Nakano — PX, a computational logic

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

B. Van Rootselaar, J. F. Staal — Logic, Methodology and Philosophy of Science III (Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967)

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

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings Madison, 1978

Boffa M., van Dalen D., McAloon K. (eds.) — Logic Colloquium '78: Proceedings Mons, 1978

D.van Dalen, etc. — Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic

A.S. Troelstra, D.van Dalen — The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

Samuel R. Buss (Editor) — Handbook of Proof Theory

Stephen Cole Kleene — Mathematical Logic

George Tourlakis — Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

George Tourlakis — Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

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

John Bell, Moshe Machover — A course in mathematical logic

Am meisten angefragte Begriffe