Aide à la recherche   Requête : "principe d'omniscience"

1	2015 Bibliothèque Tangente. N° 55. Cela existe, je l'ai démontré ! p. 18-22.
2	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
3	2015 Tangente Hors-série. N° 55. Démontrer : l'art de convaincre.
4	2015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l'ai démontré !
5	2011 Pour la Science. N° 410. p. 80-85. La logique de la perfection.
6	2009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.
7	2003 Repères-IREM. N° 50.
8	2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.