Logique et fondements de l'informatique

Rougemont, Lassaigne