Intuitionistic type theory, Bibliopolis (1984)

by Per Martin-L of
Venue:TRUTH DEFINITIONS, SKOLEM FUNCTIONS AND AXIOMATIC SET THEORY 337