Provability in Elementary Type Theory, Zeitschrift fur Mathematische Logic und Grundlagen der Mathematik 20 (1974)

by Peter B Andrews