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