İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında

Logic's lost genius - The life of Gerhard Gentzen

Main
Mathematics
Logic's lost genius - The life of...

Logic's lost genius - The life of Gerhard Gentzen

Menzler-Trott, Eckart (Author), Craig Smoryński(Translator), Edward Griffor(Translator)

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Kateqoriyalar:

İl:

2007

Nəşriyyat:

AMS; LMS

Dil:

english

Səhifələr:

440

ISBN 10:

1470428121

ISBN 13:

9781470428129

ISBN:

2007060550

Seriyalar:

History of Mathematics 33

Fayl:

PDF, 9.25 MB

IPFS:

,

english, 2007

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

M.E. Szabo (Eds.) — The Collected Papers of Gerhard Gentzen

Alexandru Buium, and Phyllis J. Cassidy Hyman Bass, Hyman Bass, Alexandru Buium, Phyllis Cassidy — Selected works of Ellis Kolchin with commentary

Michael Detlefsen (edt) — Proof, Logic and Formalization

A.R.D.Mathias — The Ignorance of Bourbaki

Joan Roselló — From Foundations to Philosophy of Mathematics

CURTIS FRANKS — THE AUTONOMY OF MATHEMATICAL KNOWLEDGE: Hilbert’s Program Revisited

J. Ferreiros (Editor), J. J. Gray (Editor) — Architecture of Modern Mathematics: Essays in History and Philosophy

Wilfried Sieg — Hilbert’s Programs and Beyond

Dirk van Dalen — Mystic, Geometer, and Intuitionist

Paolo Mancosu — The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940

Detlefsen M. (Ed) — Proof, Logic and Formalization

Michael Detlefsen — Proof, Logic and Formalization

Mary Tiles — Mathematics and the Image of Reason

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

Baaz, Matthias;Harper, Jr Charles L.;Papadimitriou, Christos H.;Putnam, Hilary W.;Scott, Dana S — Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds.) — Kurt Gödel: Essays for his Centennial

Curtis Franks — The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper — Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

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

Stuart Shanker — Gödel's Theorem in Focus

Gerhard Gentzen; M E Szabo — The collected papers of Gerhard Gentzen

Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen (eds.) — Proof Theory: History and Philosophical Significance

Davis, Martin — The Universal Computer: The road from Leibniz to Turing

Martin Davis — The Universal Computer. The Road from Leibniz to Turing

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

Joan Roselló — From Foundations to Philosophy of Mathematics : An Historical Account of Their Development in the XX Century and Beyond

Dirk Dalen — L.E.J. Brouwer Topologist, Intuitionist, Philosopher

Martin Davis — The Universal Computer - The Road from Leibniz to Turing (Turing Centenary Edition)

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

Roman Murawski — Logos and Mathema: Studies in the Philosophy of Mathematics and History of Logic

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

Açar ifadələr