籌款 9月15日 2024 – 10月1日 2024 關於籌款

Collected Works of Alan M. Turing, Volume 4: Mathematical...

Main
Collected Works of Alan M. Turing,...

Collected Works of Alan M. Turing, Volume 4: Mathematical Logic

R. O. Gadny and C. E. M. Yates

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

年:

2023

文件:

PDF, 38.04 MB

IPFS:

,

2023

下載 (pdf, 38.04 MB)

轉換進行中

轉換為失敗

你可能感興趣

D. C. Ince — Collected Works of Alan M. Turing, Volume 1: Mechanical Intelligence

J. L. Britton — Collected Works of Alan M. Turing, Volume 2: Pure Mathematics

P. T. Saunders — Collected Works of Alan M. Turing, Volume 3: Morphogenesis

Copeland, B. Jack.; Copeland, B ; — Essential Turing

Alan Turing — Systems of Logic Based on Ordinals

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

Copeland, B. Jack.; Copeland, B ; — Essential Turing

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

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

Copeland, B. Jack. — The Essential Turing

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

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

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

S. Barry Cooper, J. van Leeuwen — Alan Turing: His Work and Impact

S. Barry Cooper; J. van Leeuwen — Alan Turing: His Work and Impact

Alan M. Turing, B. Jack Copeland — The essential Turing: seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma

Alan Mathison Turing, B. Jack Copeland — The Essential Turing

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

John N Crossley; Michael Dummett — Formal systems and recursive functions

Mostowski A. — Foundational Studies: Selected works

Gaisi Takeuti — Proof theory

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

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

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (eds.) — Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Copeland, B. Jack.; Copeland, B ; — Essential Turing

最常見的術語