Normal view
MARC view
Diller, J (ed) (Personal Name)
Machine generated authority record.
Work cat.: (OSt)643558: Diller, J (ed), ISILC proof theory symposion /, 1975