Mathematical Logic

Main
Mathematics
Mathematical Logic

Mathematical Logic

R.O. Gandy, C.E.M. Yates, Solomon Feferman, Andrew Hodges, Jack Good and Martin Campbell-Kelly (Eds.)

5.0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Категорії:

Рік:

2001

Видавництво:

North Holland

Мова:

english

Сторінки:

287

ISBN 10:

0444504230

ISBN 13:

9780444504234

Файл:

PDF, 10.22 MB

IPFS:

,

english, 2001

Скачування цієї книги недоступне за скаргою правовласника

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Можливо вас зацікавить

Andrew Hodges — One to Nine: The Inner Life of Numbers

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

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

Alan Turing — Systems of Logic Based on Ordinals

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

Charles Petzold — The Annotated Turing

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

www.eBooks-IT.org — www.eBooks-IT.org

Copeland, B. Jack. — The Essential Turing

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

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

Mostowski A. — Foundational Studies: Selected works

Charles Petzold — The annotated Turing: A guided tour through Alan Turing's historic paper

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

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

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

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

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

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

Ключові фрази