جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

The Foundations of Intuitionistic Mathematics: Especially...

Main
Mathematics
The Foundations of Intuitionistic...

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

Stephen Cole Kleene, R.E. Vesley

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

عام:

1965

الإصدار:

1St Edition

الناشر:

North-Holland Pub. Co

اللغة:

english

الصفحات:

210

ISBN 10:

0444534040

ISBN 13:

9780444534040

سلسلة الكتب:

Studies in Logic and the Foundations of Mathematics 39

ملف:

DJVU, 1.59 MB

IPFS:

,

english, 1965

إقرأ علي الإنترنت

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

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

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

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

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Stephen C. Kleene — Formalized Recursive Functionals and Formalized Realizability

Georgi Dimov, Dimiter Vakarelov (auth.), Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.) — Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,

Gregory J. Chaitin — Thinking about Godel and Turing: Essays on complexity, 1970-2007

Troelstra, A S — History of Constructivism in the 20th Century

S.C. Kleene — Introduction to Metamathematics

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]

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

— Constructive Logic and Mathematics 001

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

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

Alec Fisher — Formal Number Theory and Computability: A Workbook

Alec Fisher — Formal Number Theory and Computability A Workbook

Susumu Hayashi, Hiroshi Nakano — PX, a computational logic

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

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

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

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

Stewart Shapiro — Intensional mathematics

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

Stephen C. Kleene — Two Papers on the Predicate Calculus

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

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

George Tourlakis — Computability

J. Diller, G.H. Müller — ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)

أكثر المصطلحات والعبارات المستخدمة