Georg Kreisel

• Elements of mathematical logic (Model theory)
• Eléments de logique mathématique
• Elements of mathematical logic
• Elements of mathematical logic
• Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics)
• Éléments de logique mathématique
• Formally self-referential propositions for cut free classical analysis and related systems
• Modelltheorie