. . "Mathematical logic for computer science" . . "Mathematical logic for computer science" . . "Logique math\u00E9matique" . "Text" . . . "Logique informatique" . "Informatique -- Math\u00E9matiques" . . . . "1993" .