Publication: Fenner Tanswell
Fenner Tanswell has recently had his paper ‘A Problem with the Dependence of Informal Proofs on Formal Proofs’ accepted for publication in Philosophia Mathematica. It...
Fenner Tanswell has recently had his paper ‘A Problem with the Dependence of Informal Proofs on Formal Proofs’ accepted for publication in Philosophia Mathematica. It...