00530cz a2200145n 4500 n 83151116 DLC 19840417160438.4 830914n| acannaab| |a aaa ||| n 83151116 DLC DLC DLC Ebbinghaus, Heinz-Dieter, 1939- Ebbinghaus, H.-D. (Heinz-Dieter), 1939- His Mathematical logic, c1984: CIP t.p. (H.D. Ebbinghaus) book t.p. (H.-D. Ebbinghaus) LC data base, 9/9/83 (hdg.: Ebbinghaus, Heinz-Dieter, 1939- ; usage: Heinz-Dieter Ebbinghaus)