G. Kreisel

• Éléments de logique mathématique
• Elements de Logique Mathematique. Theorie des Modeles
• Elements of Mathematical Logic
• `elements de logique mathematique