Classical extensions of intuitionistic mathematics (1965)

by S C Kleene
Venue:Logic, Methodology and Philosophy of Science