Langage Pascal et logique du premier ordre. Tome 1 : programmation en Pascal, prédicats, systèmes formels, fonctions récursives. - Masson, 1989. - ( Logique Mathématiques Informatique ; 3).