
Eric Audureau
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
Méthode axiomatique et négation chez Hilbert
2007
Philosophia Scientiae 11/2