Extended projection method with KreiselTroelstra realizability (1990)

by Susumu Hayashi, Yukihide Takayama