Title: Introduction à la logique mathématique
First published: 1964
Subjects: Logique symbolique et mathématique