General Models, Descriptions, and Choice in Type Theory (1972)

by P B Andrews
Venue:Journal of Symbol Logic