A reduction of the recursion scheme

Journal of Symbolic Logic 32 (4):505-508 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1968

DOI

10.2307/2270177

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Reduction of the Recursion Scheme.M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):591-591.
Review: M. D. Gladstone, A Reduction of the Recursion Scheme. [REVIEW]Rozsa Peter - 1970 - Journal of Symbolic Logic 35 (4):591-591.
Negative Results on the Reduction of the Recursion Scheme.Benedetto Intrigila - 1988 - Mathematical Logic Quarterly 34 (4):297-300.
Negative Results on the Reduction of the Recursion Scheme.Benedetto Intriglia - 1988 - Mathematical Logic Quarterly 34 (4):297-300.
Negative Results on the Reduction of the Recursion Scheme.Benedetto Intrigila - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):297-300.
M. D. Gladstone. A reduction of the recursion scheme. The journal of symbolic logic, Bd. 32 , S. 505–508.Rózsa Péter - 1970 - Journal of Symbolic Logic 35 (4):591.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
Review: M. D. Gladstone, On the Number of Variables in the Axioms. [REVIEW]Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
Review: M. D. Gladstone, Finite Models for Inequalities. [REVIEW]Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):479-479.
M. D. Gladstone. Finite models for inequalities. The journal of symbolic logic, vol. 31 , pp. 581–592.Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):479.

Analytics

Added to PP
2009-01-28

Downloads
17 (#213,731)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Primitive iteration and unary functions.G. Germano & S. Mazzanti - 1988 - Annals of Pure and Applied Logic 40 (3):217-256.
On the Algebraic Structure of Primitive Recursive Functions.István Szalkai - 1985 - Mathematical Logic Quarterly 31 (35‐36):551-556.
On the Algebraic Structure of Primitive Recursive Functions.István Szalkai - 1985 - Mathematical Logic Quarterly 31 (35-36):551-556.
Iteration on notation and unary functions.Stefano Mazzanti - 2013 - Mathematical Logic Quarterly 59 (6):415-434.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.

Add more citations

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

Add more references