
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

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