Cours de logique mathématique.
Series: Collection de logique mathématique.  Série A -- no. 23-25
Publisher: Gauthier-Villars
Published: 1967
Place of publication: Paris
Language: fre
Subjects: Logic, Symbolic and mathematical
Notes: Includes bibliography.
Table of contents: class: section
title: t. 1.  Relation, formule logique, compacité, complétude.; class: section
title: t. 2.  Théorie des modèles.; class: section
title: t. 3.  Récursivité et constructibilité.