Related references
Note: Only part of the references are listed.A Formalist Philosophy of Mathematics Part I: Arithmetic
Michael Gabbay
STUDIA LOGICA (2010)
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician
Norma B. Goethe et al.
STUDIA LOGICA (2010)
Informal Proofs and Mathematical Rigour
Marianna Antonutti Marfori
STUDIA LOGICA (2010)
Why Do Informal Proofs Conform to Formal Norms?
Jody Azzouni
FOUNDATIONS OF SCIENCE (2009)
The mathematical significance of proof theory
A Macintyre
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES (2005)