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 theory
Logic, Symbolic and mathematical > Periodicals
Logic, Symbolic and mathematical
Fonctions re cursives
MATHEMATICS > General
Electronic books