Eric Audureau
Méthode axiomatique et négation chez Hilbert
2007
Philosophia Scientiae 11/2
Logique de programmes et sémantique intensionnelle
1983
Histoire Épistémologie Langage 5/2
2007
Philosophia Scientiae 11/2
1983
Histoire Épistémologie Langage 5/2