Ebbinghaus, Heinz-Dieter, (1939-)

Logic Colloquium '87 : = proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 / by: Ebbinghaus, Heinz-Dieter, (1939-); Logic Colloquium ((1987 :) (Language materials, printed)

Mathematical logic / by: Flum, Jorg.; Thomas, Wolfgang, (1947-); Ebbinghaus, Heinz-Dieter, (1939-) (Language materials, printed)