Michael Detlefsen

M. D. ยท Michael D.

titleISBN-13
(ISBN-10)
year of publication
Proof and Knowledge in Mathematics978-1-138-00935-6
(1-138-00935-0)
2014
Proof, Logic and Formalization978-1-138-00907-3
(1-138-00907-5)
2015

Michael DeToia