![121060](/images/creator/_default.jpg)
Eric Audureau
Méthode axiomatique et négation chez Hilbert
2007
Philosophia Scientiae 11/2
![Open Access](/images/book.png)
Logique de programmes et sémantique intensionnelle
1983
Histoire Épistémologie Langage 5/2
![Open Access](/images/book.png)
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