G. Kreisel,... J. L. Krivine,... Éléments de logique mathématique — Georg Kreisel