Systems of Logic Based on Ordinals

Main
Mathematics - Logic
Systems of Logic Based on Ordinals

Systems of Logic Based on Ordinals

Alan Turing

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Alan Turing's PhD Thesis

Thể loại:

Mathematics - Logic

Năm:

1938

Nhà xuát bản:

London Mathematical Society

Ngôn ngữ:

english

Trang:

68

File:

PDF, 1.62 MB

IPFS:

,

english, 1938

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Turing Alan — On Computable Numbers

George Boole — An Investigation of the Laws of Thought

B. Jack Copeland, Jonathan Peter Bowen, Mark Sprevak, Robin J. Wilson, Alan Mathison Turing — The Turing Guide

Alan M. Turing — The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma

B. Jack Copeland — Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer

B. Jack Copeland — Alan Turing's Electronic Brain: The Struggle to Build the ACE, the World's Fastest Computer

R.O. Gandy, C.E.M. Yates (eds.) — Collected works of A. M. Turing. Volume 4: Mathematical Logic

A. M. Turing; J.L. Britton (ed.) — Pure Mathematics

Alan Turing; P.T. Saunders (ed.) — Morphogenesis

Charles Petzold — The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

Henderson H. — Alan Turing: Computing genius and wartime code breaker

Simon Lavington, Martin Campbell-Kelly, Chris Burton — Alan Turing and His Contemporaries: Building the World's First Computers

Juliet Floyd, Alisa Bokulich (eds.) — Philosophical Explorations of the Legacy of Alan Turing: Turing 100

Andrew W. Appel — Alan Turing's Systems of Logic: The Princeton Thesis

R. O. Gadny and C. E. M. Yates — Collected Works of Alan M. Turing, Volume 4: Mathematical Logic

Andrew W. Appel — Alan Turing's Systems of Logic: The Princeton Thesis

Church, Alonzo — The calculi of lambda-conversion

J N Crossley, M A E Dummett — Formal Systems and Recursive Functions

Pogorzelski, Witold Adam — Notions and theorems of elementary formal logic

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson — Harvey Friedman's research on the foundations of mathematics

Smullyan, Raymond M.(Author) — 0195046722.pdf

Fisher, Alec — Formal number theory and computability: a workbook

Alec Fisher — Formal Number Theory and Computability A Workbook

Hao Wang — A Survey of Mathematical Logic.

John N. Crossley, Michael Dummett (editors) — Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Mostowski A. — Foundational Studies: Selected works

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

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

George S. Boolos — The Logic of Provability

George S. Boolos — The Logic of Provability

Th. Skolem — Mathematical Interpretation of Formal Systems

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

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

Gert H. Müller (Editor) — Sets and Classes: On the Work by Paul Bernays

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo; Martin Davis (Foreword) — Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Volker Halbach — Axiomatic Theories of Truth

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Odifreddi, Piergiorgio Odifreddi — Kreiseliana: About and Around Georg Kreisel

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Andrzej Indrzejczak — Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Từ khóa thường sử dụng nhất