1 - Langage PASCAL et logique du premier ordre. Tome 2 : Récursivité et dérécursification, preuves et complexité d'algorithmesMargenstern, MauriceCote : [77 MAR 90-2]
2 - Langage PASCAL et logique du premier ordre. Tome 1 : Programmation en Pascal, prédicats, systèmes formels, fonctions récursivesMargenstern, MauriceCote : [77 MAR 89-1]
3 - Mathématiques discrètes et informatiqueNguyen, Huy XuongCote : [77 NGU 92]