La logique moderne
Paris 1974. 128 S.
Éléments de logique formelle
Paris 1996. 224 S.
Notions de logique formelle
Louvain 1965. 304 S.
Leçons de logique formelle
Louvain 1949–1950. 3 Bde.
Philosophie de la logique
Paris 1991. 146 S.
La norme du vrai. Philosophie de la logique
Paris 1989. 492 S.
Logique
Paris 1953. 413 S.
Méthodes et concepts de la logique formelle
Montréal (Québec) 1978. 238 S.
Recherches sur la déduction logique
Paris 1955. 170 S.
Logique formelle
Lausanne 1956. 207 S.