Switch to: Citations

Add references

You must login to add references.
  1. On the Algebraic Structure of Primitive Recursive Functions.István Szalkai - 1985 - Mathematical Logic Quarterly 31 (35-36):551-556.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
    Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • A classification of the one-argument primitive recursive functions.Jovan Naumović - 1983 - Archive for Mathematical Logic 23 (1):161-174.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
    Download  
     
    Export citation  
     
    Bookmark   193 citations  
  • Classes of One‐Argument Recursive Functions.Nadejda V. Georgieva - 1976 - Mathematical Logic Quarterly 22 (1):127-130.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A reduction of the recursion scheme.M. D. Gladstone - 1967 - Journal of Symbolic Logic 32 (4):505-508.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Primitive Recursive Functions. II.Raphael M. Robinson - 1957 - Journal of Symbolic Logic 22 (4):375-376.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Another simplification of the recursion scheme.N. Georgieva - 1977 - Archive for Mathematical Logic 18 (1):1-3.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Classes of One-Argument Recursive Functions.Nadejda V. Georgieva - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):127-130.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the Algebraic Structure of Primitive Recursive Functions.István Szalkai - 1985 - Mathematical Logic Quarterly 31 (35‐36):551-556.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Simplifications of the recursion scheme.M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (4):653-665.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Computability of Recursive Functions.J. C. Shepherdson & H. E. Sturgis - 1967 - Journal of Symbolic Logic 32 (1):122-123.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Recursive Functions of One Variable.Julia Robinson - 1970 - Journal of Symbolic Logic 35 (3):476-476.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Primitive Recursive Functions.Raphael M. Robinson - 1948 - Journal of Symbolic Logic 13 (2):113-114.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • General Recursive Functions.Julia Robinson - 1951 - Journal of Symbolic Logic 16 (4):280-280.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Comparing Hierarchies of Primitive Recursive Sequence Functions.E. Fachini & A. Maggiolo-Schettini - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):431-445.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A classification of an iterative hierarchy.Hans Kleine Büning - 1983 - Archive for Mathematical Logic 23 (1):175-186.
    Download  
     
    Export citation  
     
    Bookmark   1 citation