Proof Theory. second edition (1987)

by G Takeuti
Venue:Studies in Logic