Éléments de logique mathématique
Subtitle: théorie des modèles
By: [par] G. Kreisel... J. L. Krivine.
Contributors: Krivine, J. L. joint author.
Series: Monographies de la Société mathétique de France,; 3
Publisher: Dunod
Published: 1967
Place of publication: Paris
Language: fre
Number of pages: 214
Subjects: Logic, Symbolic and mathematical.; Mathematical models.