Foundations of intuitionistic logic (1962)

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