Internal logic: Foundations of mathematics from Kronecker...

Main
Mathematics - Logic
Internal logic: Foundations of...

Internal logic: Foundations of mathematics from Kronecker to Hilbert

Gauthier Y., Davidson, Donald, Hintikka, Jaakko, Van Dalen, Dirk

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Kategori:

Mathematics - Logic

Tahun:

2002

Penerbit:

Springer Netherlands

Bahasa:

english

Halaman:

258

Nama siri:

Synthese library 310

Fail:

DJVU, 2.07 MB

IPFS:

,

english, 2002

Baca dalam Talian

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Jackendoff et al. (eds.) — Language, logic and concepts

E T Bell — Men of Mathematics

Joan Roselló — From Foundations to Philosophy of Mathematics

Jaako Hintikka — On Gödel

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

Solomon Feferman — In the Light of Logic

William Tait — The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History (Logic and Computation in Philosophy)

Solomon Feferman — In the Light of Logic

Matthias Schirn — The Philosophy of Mathematics Today

William Bragg Ewald — From Kant to Hilbert

H. G. Dales, G. Oliveri — Truth in mathematics

Marcus Giaquinto — The search for certainty: A philosophical account of foundations of mathematics

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

Martin Davis — Engines of logic

Michael Detlefsen (ed.) — Proof, logic and formalization

Mary Tiles — Mathematics and the Image of Reason

Andrew Irvine, Dov M. Gabbay, Paul Thagard, John Woods — Philosophy of mathematics

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

Gila Sher, Richard Tieszen — Between Logic and Intuition: Essays in Honor of Charles Parsons

John P. Mayberry — The foundations of mathematics in the theory of sets

Benacerraf P., Putnam H. (eds.) — Philosophy of Mathematics: Selected Readings

Paul Benacerraf, Hilary Putnam — Philosophy of Mathematics: Selected Readings

Alexander George, Daniel J. Velleman — Philosophies of Mathematics

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

Wang, Hao — From mathematics to philosophy

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

Richard L. Epstein, Walter A Carnielli — Computability: computable functions, logic, and the foundations of mathematics

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

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

Yandell B. — The Honors Class: Hilbert's Problems and Their Solvers

José Ferreirós (auth.) — Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics

José Ferreirós — Labyrinth of thought: A history of set theory and its role in modern mathematics

Jaakko Hintikka (ed.) — From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics

Judson Chambers Webb (auth.) — Mechanism, Mentalism and Metamathematics: An Essay on Finitism

Istilah utama