Provability in Elementary Type Theory, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1974)

by Peter B Andrews