Normal view
MARC view
Ebbinghaus Heinz-Dieter; Flum Jorg; Thomas Wolfgang (Personal Name)
Machine generated authority record
Work cat.: (OSt)1230935: Ebbinghaus Heinz-Dieter; Flum Jorg; Thomas Wolfgang, Mathematical logic, 2021