Smadja, Ivahn Local axioms in disguise: Hilbert on Minkowski diagrams. (English) Zbl 1274.03006 Synthese 186, No. 1, 315-370 (2012). MSC: 03-03 00A30 01A60 03B30 PDFBibTeX XMLCite \textit{I. Smadja}, Synthese 186, No. 1, 315--370 (2012; Zbl 1274.03006) Full Text: DOI
Avigad, Jeremy Mathematical method and proof. (English) Zbl 1116.03012 Synthese 153, No. 1, 105-159 (2006). Reviewer: Reinhard Kahle (Coimbra) MSC: 03B35 00A30 00A35 03F07 PDFBibTeX XMLCite \textit{J. Avigad}, Synthese 153, No. 1, 105--159 (2006; Zbl 1116.03012) Full Text: DOI Link