Normal view
MARC view
Schutte Kurt(Personal Name)
Machine generated authority record.
Work cat.: (OSt)763885: Schutte Kurt, Proof theory., 1977