Eléments de logique mathématique
Subtitle: théorie des modèles
By: G. Kreisel et J.L. Krivine
Contributors: Krivine, J. L.
Series: Société mathématique de France, Paris. Monographies -- 3
Publisher: Dunod
Published: 1967
Place of publication: Paris
Language: fre
Number of pages: 213
Subjects: Logique symbolique et mathématique; Modèles mathématiques.
Notes: 4