Classical extensions of intuitionistic mathematics (1965)

by S Kleene
Venue:Logic, Methodology and Philosophy of Science 2, North Holland