کتاب های Paul Gochet
درباره نویسنده
Logique épistémique et philosophie des mathématiques
Paul Gochet, 2007
Logique, volume 1: méthodes pour l'informatique fondamentale
Paul Gochet, 2000
Logique, volume 2 : méthodes formelles pour l'étude des programmes
Paul Gochet, 1994
