Cours de logique mathematique ...
Series: Collection de logique mathématique, sér. A.,; no. 23, 24, 25
Publisher: Gauthier-Villars; E. Nauwelaerts
Published: 1967
Place of publication: Paris; Louvain
Language: fre
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: v. 1, p. [175]-181.
Table of contents: title: t. 1. Relation, formule logique, compacité, complétude.; title: t. 2. Théorie des modèles.; title: t. 3. Récursivité et constructibilité.