1 - Eléments de logique mathématique : théorie des modèlesKreisel, Georg (1923-2015) / Krivine, Jean-LouisCote : [05 KRE 67]