Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

Model Theory and the Philosophy of Mathematical Practice

Formalization without Foundationalism

By
John T. Baldwin
John T. Baldwin
2018 • 365 pages

List

17,813 books

My Library

Nitin
Nitin Rughoonauth
Fermi Remembered
Goedel's Way: Exploits into an undecidable world
Brave Genius: A Scientist, a Philosopher, and Their Daring Adventures from the French Resistance to the Nobel Prize
Debate en torno a la etica del discurso de Apel: Diálogo filosófico Norte-Sur desde América Latina
Love and math : the heart of hidden reality
The Road to Reality
The Large, the Small and the Human Mind