Lectures on Mod intuitionistic theory of types 47 ern Mathematics', Vol (1965)

by G Kreisel
Venue:Logic, Methodology and Philosophy of Science III', NorthHolland