Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

understanding proofs 353Tiwari, A.(2003), ‘Abstraction based theorem proving: an example from the theoryof reals’, in C. Tinelli and S. Ranise (eds.), Proceedings of the CADE-19 Workshop onPragmatics of Decision Procedures in Automated Deduction, PDPAR 2003, 40–52 (Berlin:Springer-Verlag).Whittaker, E.T.andWatson, G.N.(1996), A Course of Modern Analysis, (Cambridge:Cambridge University Press), reprinting of the 4th edn, 1927.Wiedijk, Freek (2006), The Seventeen Provers of the World (Berlin: Springer-Verlag).Wittgenstein, Ludwig(1953), Philosophical Investigations (New York: Macmillan), ed.andtrans.G.E.M.Anscombe,3rd edn (2001) (Oxford: Blackwell Publishers).(1956), Remarks on the Foundations of Mathematics, ed. G. H. von Wright, R. Rheesand G. E. M. Anscombe, trans. G. E. M. Anscombe (Oxford: Blackwell). Revisededition (1978) (Cambridge, MA: MIT Press).(1969), On Certainty, ed. G. E. M. Anscombe and G. H. von Wright, trans. G. E.M. Anscombe and D. Paul (Oxford: Blackwell).Wu, WenTsün (1994), Mechanical Theorem Proving in Geometries, trans.fromthe1984Chinese original by Xiao Fan Jin and Dong Ming Wang (Vienna: Springer-Verlag).Wussing, Hans(1984), The Genesis of the Abstract Group Concept: A Contribution to theHistory of the Origin of Abstract Group Theory, trans. Abe Shenitzer and Hardy Grant(Cambridge, MA: MIT Press).