ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96.
Journal of Symbolic Logic
◽
10.2307/2269710
◽
1966
◽
Vol 31
(4)
◽
pp. 652-652
Author(s):
Kenneth Appel
Keyword(s):
Infinite Series
◽
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Pure Mathematics
Download Full-text
Related Documents
Cited By
References
John Myhill. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104.
Journal of Symbolic Logic
◽
10.2307/2271401
◽
1969
◽
Vol 33
(4)
◽
pp. 619-620
Author(s):
Erik Ellentuck
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Pure Mathematics
Download Full-text
J. R. Shoenfield. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 131–134.
Journal of Symbolic Logic
◽
10.2307/2270076
◽
1968
◽
Vol 33
(1)
◽
pp. 116-116
Author(s):
Ann M. Singleterry
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Pure Mathematics
Download Full-text
Clifford Spector. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27.
Journal of Symbolic Logic
◽
10.2307/2271288
◽
1967
◽
Vol 32
(1)
◽
pp. 128-128
Author(s):
R. E. Vesley
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Consistency Proof
◽
Pure Mathematics
◽
Intuitionistic Mathematics
Download Full-text
A. W. Burks and J. B. Wright. Sequence generators and digital computers. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence generators, graphs, and formal languages. Information and control, vol. 5 (1962), pp. 204–212.
Journal of Symbolic Logic
◽
10.2307/2270399
◽
1964
◽
Vol 29
(4)
◽
pp. 210-212
Author(s):
Robert McNaughton
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Formal Languages
◽
Mathematical Society
◽
Pure Mathematics
◽
And Control
◽
Digital Computers
Download Full-text
A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.
Journal of Symbolic Logic
◽
10.2307/2271692
◽
1967
◽
Vol 32
(2)
◽
pp. 269-269
Author(s):
Matthew Hassett
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Pure Mathematics
◽
Nonstandard Models
Download Full-text
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238.
Journal of Symbolic Logic
◽
10.2307/2269717
◽
1966
◽
Vol 31
(4)
◽
pp. 655-655
Author(s):
Martin Davis
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Turing Machines
◽
Pure Mathematics
◽
Size And Structure
Download Full-text
John McCarthy. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 219–227.
Journal of Symbolic Logic
◽
10.2307/2270190
◽
1968
◽
Vol 32
(4)
◽
pp. 523-523
Author(s):
J. A. Robinson
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Computer Programs
◽
Mathematical Society
◽
Mathematical Proofs
◽
Pure Mathematics
◽
John Mccarthy
Download Full-text
Martin Davis. Applications of recursive function theory to number theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 135–138.
Journal of Symbolic Logic
◽
10.2307/2272753
◽
1972
◽
Vol 37
(3)
◽
pp. 602-602
Author(s):
Julia Robinson
Keyword(s):
Number Theory
◽
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Pure Mathematics
◽
Martin Davis
Download Full-text
J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959), pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130.
Journal of Symbolic Logic
◽
10.2307/2269799
◽
1964
◽
Vol 29
(1)
◽
pp. 60-62
Author(s):
Donald L. Kreider
Keyword(s):
Set Theory
◽
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Hierarchy Theory
◽
Descriptive Set Theory
◽
Alfred Tarski
◽
Pure Mathematics
◽
Descriptive Set
◽
Effective Descriptive Set Theory
Download Full-text
H. B. Enderton. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III (1964), pp. 457–471.
Journal of Symbolic Logic
◽
10.2307/2269823
◽
1966
◽
Vol 31
(2)
◽
pp. 262-263
Author(s):
Gustav Hensel
Keyword(s):
Recursive Function
◽
Function Theory
◽
American Mathematical Society
◽
Mathematical Society
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close