![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Harvey Friedman's Research on the Foundations of Mathematics Volume 117 || Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory
Shepherdson, J.C.Year:
1985
Language:
english
DOI:
10.1016/s0049-237x(09)70163-6
File:
PDF, 1.26 MB
english, 1985