Computation, Proof, Machine More Books Like This

Rigor and Structure Rigor and Structure
Rigor and Structure
2015
Philosophy of Mathematics Philosophy of Mathematics
Philosophy of Mathematics
2010
A Profile of Mathematical Logic A Profile of Mathematical Logic
A Profile of Mathematical Logic
2012
An Introduction to the Philosophy of Mathematics An Introduction to the Philosophy of Mathematics
An Introduction to the Philosophy of Mathematics
2012
From Mathematics to Philosophy (Routledge Revivals) From Mathematics to Philosophy (Routledge Revivals)
From Mathematics to Philosophy (Routledge Revivals)
2016
Philosophy of Mathematics Philosophy of Mathematics
Philosophy of Mathematics
1984
The Oxford Handbook of Philosophy of Mathematics and Logic The Oxford Handbook of Philosophy of Mathematics and Logic
The Oxford Handbook of Philosophy of Mathematics and Logic
2005
Lectures on the Philosophy of Mathematics Lectures on the Philosophy of Mathematics
Lectures on the Philosophy of Mathematics
2021
Philosophy of Mathematics Philosophy of Mathematics
Philosophy of Mathematics
2017
Proof, Logic and Formalization Proof, Logic and Formalization
Proof, Logic and Formalization
2005
Problems in the Philosophy of Mathematics (Enhanced Edition) Problems in the Philosophy of Mathematics (Enhanced Edition)
Problems in the Philosophy of Mathematics (Enhanced Edition)
2011
18 Unconventional Essays on the Nature of Mathematics 18 Unconventional Essays on the Nature of Mathematics
18 Unconventional Essays on the Nature of Mathematics
2006
The Making of Mathematics The Making of Mathematics
The Making of Mathematics
2022
Wittgenstein on Mathematics Wittgenstein on Mathematics
Wittgenstein on Mathematics
2020
The History of Philosophical and Formal Logic The History of Philosophical and Formal Logic
The History of Philosophical and Formal Logic
2017