PhilSci Archive

Philosophia Mathematica (2015)

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Vol. 23
No. 3
Tanswell, Fenner (2015) A Problem with the Dependence of Informal Proofs on Formal Proofs. [Preprint]