Patrick C. Fischer. Theory of provable recursive functions. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 494–520.

H. B. Enderton

doi:10.2307/2271695

Patrick C. Fischer. Theory of provable recursive functions. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 494–520.

Journal of Symbolic Logic ◽

10.2307/2271695 ◽

1967 ◽

Vol 32 (2) ◽

pp. 270-270

Author(s):

H. B. Enderton

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions

Download Full-text

Hartley RogersJr., Recursive functions over well-ordered partial orderings. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 847–853.

Journal of Symbolic Logic ◽

10.2307/2963694 ◽

1962 ◽

Vol 27 (1) ◽

pp. 83-84

Author(s):

J. R. Shoenfield

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions ◽

Partial Orderings

Download Full-text

J. R. Shoenfield. The class of recursive functions. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 690–692.

Journal of Symbolic Logic ◽

10.2307/2963819 ◽

1959 ◽

Vol 24 (3) ◽

pp. 238-239

Author(s):

Paul Axt

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions

Download Full-text

A. A. Markov. On the representation of recursive functions. English translation of XV 66 (2). American Mathematical Society, translation number 54. Lithoprinted. New York1951, 13 pp.

Journal of Symbolic Logic ◽

10.2307/2267488 ◽

1952 ◽

Vol 17 (1) ◽

pp. 72-73

Author(s):

Alonzo Church

Keyword(s):

English Translation ◽

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions

Download Full-text

Shih-Chao Liu. A theorem on general recursive functions. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 184–187.

Journal of Symbolic Logic ◽

10.2307/2270430 ◽

1964 ◽

Vol 29 (2) ◽

pp. 104-104

Author(s):

James R. Guard

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions

Download Full-text

Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 (1962), S. 101–122.

Journal of Symbolic Logic ◽

10.2307/2269665 ◽

1965 ◽

Vol 30 (3) ◽

pp. 388-389

Author(s):

Rózsa Péter

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions

Download Full-text

Julia Robinson. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 (for 1950, pub. 1951), pp. 703–718.

Journal of Symbolic Logic ◽

10.1017/s0022481200100829 ◽

1951 ◽

Vol 16 (4) ◽

pp. 280-280

Author(s):

Martin Davis

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions

Download Full-text

Reviews - Raphael M. Robinson. Primitive recursive functions. Bulletin of the American Mathematical Society, Bd. 53 (1947), S 925–942.

Journal of Symbolic Logic ◽

10.2307/2267333 ◽

1948 ◽

Vol 13 (2) ◽

pp. 113-114 ◽

Cited By ~ 1

Author(s):

Rózsa Péter

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions ◽

Primitive Recursive

Download Full-text

Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 (for 1965, pub. 1966), pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 (1969), pp. 39–44.

Journal of Symbolic Logic ◽

10.2307/2272380 ◽

1974 ◽

Vol 39 (1) ◽

pp. 186-187

Author(s):

Forbes D. Lewis

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Recursive Functions ◽

Recursively Enumerable ◽

Index Sets ◽

Recursively Enumerable Sets ◽

Partial Recursive Functions

Download Full-text

S. C. Kleene. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 544–546.

Journal of Symbolic Logic ◽

10.2307/2269056 ◽

1936 ◽

Vol 1 (3) ◽

pp. 119-119

Author(s):

Alonzo Church

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Recursive Functions

Download Full-text

S. C. Kleene. Recursive functions and intuitionistic mathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 679–685.

Journal of Symbolic Logic ◽

10.2307/2268961 ◽

1953 ◽

Vol 18 (2) ◽

pp. 181-182

Author(s):

Andrzej Mostowski

Keyword(s):

American Mathematical Society ◽

International Congress ◽

Mathematical Society ◽

Recursive Functions ◽

Intuitionistic Mathematics

Download Full-text