Epsilon Substitution Method for Elementary Analysis, Archive for Math. Logic (1996)

by G Mints, S Tupallo, W Buchholz