Chong C.T.,Qian Lei,Yang Yue ...


Chong C.T., Qian Lei, Yang Yue
[2000]
The Friedberg jump inversion theorem revisited: a study of undefinable cuts
Logic Coll’98, ASL La Jolla, Cal., 140-153
?
article

Вернуться к поиску