Formal systems for some branches of intuitionistic analysis (1970)

by G Kreisel, A S Troelstra
Venue:Addendum in APAL 3