Thayse, Andre <br/><br/>
Calcul differentiel pour les langues de la logique 
Andre Thayse 
 - Paris  Lavoisier  2004