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

by Grigori Mints , Sergei Tupailo
Venue:Logic and Foundations of Mathematics
Citations:5 - 1 self