R. M. Martin. A note on nominalism and recursive functions. The journal of symbolic logic, vol. 14 (1949), pp. 27–31.

Journal of Symbolic Logic ◽

10.2307/2267014 ◽

1950 ◽

Vol 15 (2) ◽

pp. 153-153

Author(s):

John Myhill

Keyword(s):

Symbolic Logic ◽

Recursive Functions

Download Full-text

J. S. Ullian. Splinters of recursive functions. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 33–38.

Journal of Symbolic Logic ◽

10.2307/2270677 ◽

1966 ◽

Vol 31 (1) ◽

pp. 138-139

Author(s):

Marian Boykan Pour-El

Keyword(s):

Symbolic Logic ◽

Recursive Functions

Download Full-text

Hartley RogersJr., Gödel numberings of partial recursive functions. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 331–341.

Journal of Symbolic Logic ◽

10.2307/2271638 ◽

1964 ◽

Vol 29 (3) ◽

pp. 146-146

Author(s):

Martin Davis

Keyword(s):

Symbolic Logic ◽

Recursive Functions ◽

Partial Recursive Functions

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

Frederic B. Fitch. Recursive functions in basic logic. The journal of symbolic logic, vol. 21 (1956), pp. 337–346.

Journal of Symbolic Logic ◽

10.1017/s002248120009277x ◽

1970 ◽

Vol 35 (1) ◽

pp. 152-153

Author(s):

R. A. DiPaola

Keyword(s):

Symbolic Logic ◽

Basic Logic ◽

Recursive Functions

Download Full-text

Formal Systems and Recursive Functions

10.1016/s0049-237x(08)x7085-5 ◽

1965 ◽

Keyword(s):

Recursive Functions ◽

Formal Systems

Download Full-text

2004 Spring Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1102022666 ◽

2004 ◽

Vol 10 (3) ◽

pp. 438-446

Author(s):

Michael Kremer

Keyword(s):

Symbolic Logic ◽

Spring Meeting

Download Full-text

Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1231081468 ◽

2008 ◽

Vol 14 (4) ◽

pp. 553-558

Keyword(s):

Symbolic Logic

Download Full-text

European Summer Meeting of the Association for Symbolic Logic, Helsinki, 1990

Journal of Symbolic Logic ◽

10.2178/jsl/1183743771 ◽

1991 ◽

Vol 56 (3) ◽

pp. 1115-1150

Keyword(s):

Symbolic Logic

Download Full-text

2008 Annual Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1231081376 ◽

2008 ◽

Vol 14 (3) ◽

pp. 418-437

Author(s):

Chris Laskowski

Keyword(s):

Annual Meeting ◽

Symbolic Logic

Download Full-text

2008–2009 Winter Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1243948489 ◽

2009 ◽

Vol 15 (2) ◽

pp. 237-245

Author(s):

Ali Enayat

Keyword(s):

Symbolic Logic

Download Full-text