Epsilon-substitution for the ramified language and Δ 1 1 - comprehension rule (1999)

by G Mints, S Tupailo
Venue:Logic and Foundations of Mathematics