Normal view
MARC view
Wolfram Pohlers; Peter Koepke; Zoe Chatzidakis(Personal Name)
Machine generated authority record
Work cat.: (OSt)1783396: Wolfram Pohlers; Peter Koepke; Zoe Chatzidakis, Logic Colloquium '02