모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

Kurt Gödel: Collected Works: Volume I: Publications...

Main
Mathematics
Kurt Gödel: Collected Works: Volume I:...

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, S. Feferman (editor), John W. Dawson Jr. (editor), Stephen C. Kleene (editor), G. Moore (editor), R. Solovay (editor), Jean van Heijenoort (editor)

3.0 / 0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

카테고리:

년:

1986

출판사:

OUP USA

언어:

english

페이지:

490

ISBN 10:

0195039645

ISBN 13:

9780195039641

파일:

PDF, 27.79 MB

IPFS:

,

english, 1986

온라인으로 읽기

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

Jaakko Hintikka (editor) — The Philosophy of Mathematics (Readings in Philosophy)

S.C. Kleene — Introduction to Metamathematics

Kurt Gödel / Solomon Feferman et al. — Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

Wang H. — A survey of mathematical logic

Evert Willem Beth — The foundations of mathematics: A study in the philosophy of science

Kneebone, G. T. — Mathematical Logic and The Foundations of Mathematics

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Beth, Evert W — The foundations of mathematics: A study in the philosophy of science

Leary C.C. — A friendly introduction to mathematical logic

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

Solomon Feferman — In the Light of Logic

Alec Fisher — Formal Number Theory and Computability: A Workbook

Alec Fisher — Formal Number Theory and Computability A Workbook

Jaakko Hintikka — The philosophy of mathematics

Stuart Shanker — Godel’s Theorem in Focus (Philosophers in Focus)

Kurt Gödel — Kurt Gödel: Collected Works volume I

Stuart G. Shanker (editor) — Gödel’s Theorem in Focus

G T Kneebone — Mathematical logic and the foundations of mathematics

Gabbay, Dov M.(Author) — Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Evert W. Beth (Eds.) — The Foundations of Mathematics

Hao Wang — A Survey of Mathematical Logic.

Stewart Shapiro — Intensional mathematics

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

Stephen Cole Kleene — Mathematical Logic

Kurt Gödel — On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Jean van Heijenoort — From Frege to Goedel: A source book in mathematical logic, 1879-1931

Jean van Heijenoort — Frege and Gödel: Two Fundamental Texts in Mathematical Logic

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

S. G. Shanker (editor) — Godel's Theorem in Focus

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al. — Mathematical interpretation of formal systems

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Thomas Drucker (eds.) — Perspectives on the History of Mathematical Logic

Petr Hájek (editor) — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (Lecture Notes in Logic)

주로 사용되는 용어