Astronomie et mathématiques : des relations toujours aussi fertiles
Albert BIJAOUI
Dans Rapports sur la science et la technologie - 2005
Aristote et les mathématiques
Bernard BESNIER
Dans Les Philosophies et les mathématiques - 1996
Apprendre la preuve
Nicolas BELACHEFF
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
An Introduction to Non-Classical Logic. From If to Is
Graham PRIEST
Cambridge University Press - 2008
After Gödel. Platonism and Rationalism in Mathematics and Logic
Richard L. TIESZEN
Oxford University Press - 2011
A Structural Account of Mathematics
Charles S. CHIHARA
Clarendon Press - 2007