Les mathématiques grecques sous le regard de la théorie des types

Jean-Louis Gardies
2005 Philosophia Scientiæ  
doi:10.4000/philosophiascientiae.93 fatcat:c53ylcvbkzfifcmg2asz5ngq44