Kreisel, Georg; Krivine, J. L. Éléments de logique mathématique. Théorie des modèles. (French) Zbl 0146.00703 Monographies de la Société Mathématique de France. 3. Paris: Dunod. viii, 212 p. (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 10 Documents MSC: 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations 03Cxx Model theory Keywords:mathematical logic PDF BibTeX XML OpenURL