Some applications of Kleene’s methods for intuitionistic systems (1973)

by H Friedman
Venue:In Cambridge Summer School in Mathematical Logic, volume 337 of Springer Lecture Notes in Mathematics