Elements de Logique Mathematique. Theorie des modeles. Societe Mathematique de (1966)

by Georg Kreisel, Jean-Louis Krivine