results in proof theory, in: Fenstad [1971 (0)

by Ideas
Venue:J. C. Reynolds