Books listed by ISBN
>
Routledge
> Michael Detlefsen
Michael Detlefsen
M. D.
ยท
Michael D.
title
ISBN-13
(ISBN-10)
year of publication
Proof and Knowledge in Mathematics
978-1-138-00935-6
(1-138-00935-0)
2014
Proof, Logic and Formalization
978-1-138-00907-3
(1-138-00907-5)
2015
Michael DeToia