Normal view
MARC view
Heinz-Dieter Ebbinghaus (Personal Name)
Machine generated authority record.
Work cat.: (OSt)47141: Heinz-Dieter Ebbinghaus, Mathematical logic, 2021