Proof Theory - K, Shutte (Springer-Verlag New York, 1977)
Keywords: General Stack; Mathematics