నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి

Collected Works, Vol. I: Publications 1929-1936 (Oxford,...

Main
Collected Works, Vol. I: Publications...

Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

Kurt Gödel / Solomon Feferman et al.

4.0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

సంవత్సరం:

2023

ఫైల్:

PDF, 69.02 MB

IPFS:

,

2023

దింపుకోలు (pdf, 69.02 MB)

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

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

S.C. Kleene — Introduction to Metamathematics

unknown — Handbook of Philosophical Logic

Wang H. — A survey of mathematical logic

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

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

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

Stewart Shapiro — Foundations without Foundationalism: A Case for Second-Order 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

Fisher, Alec — 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

Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin and J. ЕЃoЕ› (Eds.) — Mathematical Interpretation of Formal Systems

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.

Mostowski A. — Foundational Studies: Selected works

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

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

Jaakko Hintikka — The Principles of Mathematics Revisited

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

Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science

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

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

కీలక పదబంధాలు