ID:DA02644671
Buchholz, Wilfried
Buchholz, W
Search authors sharing the same name
Wilfried Buchholz, Kurt Schütte
Bibliopolis c1988 Studies in proof theory . Monographs ; 2
Available at 20 libraries
Wilfried Buchholz ... [et al.]
Springer-Verlag 1981 Lecture notes in mathematics 897
: Berlin , : New York
Available at 75 libraries