Normal view
MARC view
Muller G H Ed(Personal Name)
Machine generated authority record.
Work cat.: (OSt)832539: Diller J Ed. 512127, ISILC proof theory symposiom , 1975