Chong C.T., Yang Yue ...


Chong C.T., Yang Yue
[1998]
Recursion theory in weak fragments of arithmetic: A study of cuts
Proc 6 Asian Logic Conf., (Beijing, China, 1998), 47-65, World Scientific, Singapore Univ. Press
?
article

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