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.

Andrzej Mostowski

doi:10.2307/2268961

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

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

Abraham Robinson. On the application of symbolic logic to algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 686–694. - Alfred Tarski. Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 705–720.

Journal of Symbolic Logic ◽

10.2307/2268962 ◽

1953 ◽

Vol 18 (2) ◽

pp. 182-182 ◽

Cited By ~ 1

Author(s):

H. E. Vaughan

Keyword(s):

American Mathematical Society ◽

International Congress ◽

Mathematical Society ◽

Symbolic Logic ◽

Alfred Tarski

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

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

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

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

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