Normal view
MARC view
Muller, G. H. (Gert Heinz), 1923- (Personal Name)
Machine generated authority record.
Work cat.: ()858867: ISILC Proof Theory Symposion University of Kiel 1974. 980893, ISILC Proof Theory Symposion :, c1975
