Epsilon Substitution Method for Elementary Analysis, Archive for Mathematical Logic, volume 35 (1996)

by G Mints, S Tupailo, W Bucholz
Venue:Urzyczyn, Lectures on the Curry-Howard isomorphism, Studies in Logic and the Foundations of Mathematics