Kreisel, G., & Krivine, J. L. (1966). Eléments de logique mathématique: Théorie des modèles. Dunod.
Chicago-referens (17:e uppl.)Kreisel, G., och J. L. Krivine. Eléments De Logique Mathématique: Théorie Des Modèles. París: Dunod, 1966.
MLA-referens (9:e uppl.)Kreisel, G., och J. L. Krivine. Eléments De Logique Mathématique: Théorie Des Modèles. Dunod, 1966.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.