Recursive analysis
Provability, Computability and Reflection.
书目详细资料团体作者:
Elsevier Science and Technology其他责任者:
Goodstein, R. L. Reuben Louis (Editor)出版社:
Amsterdam : North-Holland, 1961.出版地:
Amsterdam :文献类型:
电子书语言:
英语丛书名:
Studies in logic and the foundations of mathematics ; v. 29主题:
Recursion theoryLogic, Symbolic and mathematical > Periodicals
Logic, Symbolic and mathematical
Fonctions re cursives
MATHEMATICS > General
Electronic books


雷达卡








京公网安备 11010802022788号







