The collected papers of Gerhard Gentzen - Gentzen, Gerhard; Szabo, M. E (Amsterdam : North-Holland Pub., 1969)
Includes index
Keywords: Logic, Symbolic and mathematical; Metamathematics