106 found
Order:
  1.  3
    Rekursive Funktionen.Raphael M. Robinson & Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (4):280.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  2.  20
    Neue Fassung des Widerspruchsfreiheitsbeweises Für Die Reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  46
    Review of Kleene, Λ-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
  4.  6
    Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  5.  3
    Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  30
    Review: Raphael M. Robinson, Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
  7. Note on the 3-Recursive Functions.Rózsa Péter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  3
    Uber die Mehrfache Rekursion.S. C. Kleene & Rozsa Peter - 1937 - Journal of Symbolic Logic 2 (1):57.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  4
    Contribution to Recursive Number Theory.Rozsa Peter - 1940 - Journal of Symbolic Logic 5 (2):70-71.
  10.  3
    Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rozsa Peter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  3
    Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  12.  8
    Review: Antoni Janiczak, A Remark Concerning Decidability of Complete Theories. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-147.
  13.  1
    Review: A. Janiczak, Some Remarks on Partially Recursive Functions. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):101-101.
  14. Review: A. Janiczak, On the Reducibility of Decision Problems. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):100-101.
  15.  11
    A. M. Turing. Computability and Λ-Definability. The Journal of Symbolic Logic, Bd. 2 , S. 153–163. [REVIEW]Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):89-89.
  16.  7
    Review: A. Mostowski, A Lemma Concerning Recursive Functions and Its Applications. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):299-300.
  17.  7
    Review: Akos Pauler, Logikai Alapelv Es Mathematikai Axioma. [REVIEW]Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-125.
  18.  21
    Review: A. V. Kuznecov, O Primitivno Rekursivnyh Funkciah Bol'sogo Razmaha (Uber Umfangsreiche Primitiv-Rekursive Funktionen). [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-271.
  19.  7
    Review: Ernst Specker, Nicht Konstruktiv Beweisbare Satze der Analysis. [REVIEW]Rózsa Péter - 1950 - Journal of Symbolic Logic 15 (1):67-68.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  1
    Review: Gerhard Gentzen, Die Gegenwartige Lage in der Mathematischen Grundlagenforschung. [REVIEW]Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  3
    Review: Gerhard Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  6
    Review: Gisbert Hasenjaeger, Uber Eine Art von Unvollstandigkeit des Pradikatenkalkuls der Ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  18
    Review: H. G. Rice, Classes of Recursively Enumerable Sets and Their Decision Problems. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (2):121-122.
  24.  9
    Review: Ilona Bereczki, Nem Elemi Rekurziv Fuggveny Letezese (Existenze einer Nichtelementaren Rekursiven Funktion). [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):298-299.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  1
    Review: Julia Robinson, A Note on Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
  26.  8
    Review: Janos Suranyi, A Logikai Fuggvenykalkulus Eldontes-Problemajanak Redukciojarol (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls). [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):22-24.
  27. Review: Kurt Schutte, Eine Bemerkung Uber Quasirekursive Funktionen. [REVIEW]Rózsa Péter - 1953 - Journal of Symbolic Logic 18 (1):75-76.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  3
    Review: Laszlo Kalmar, A Hilbert-fele Bizonyitaselmelet Celkituzesei, Modszerei es Eredmenyei (Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie). [REVIEW]Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (3):110-111.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  8
    Review: Laszlo Kalmar, Egyszeru Pelda Eldonthetetlen Aritmetikai Problemara (Ein Einfaches Beispiel fur ein Unentscheidbares Arithmetisches Problem). [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):24-24.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  9
    Review: Laszlo Kalmar, Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Set. [REVIEW]Rozsa Peter - 1955 - Journal of Symbolic Logic 20 (1):72-72.
  31.  9
    Review: M. D. Gladstone, A Reduction of the Recursion Scheme. [REVIEW]Rozsa Peter - 1970 - Journal of Symbolic Logic 35 (4):591-591.
  32.  1
    Review: Paul Axt, Enumeration and the Grzegorczyk Hierarchy. [REVIEW]Rozsa Peter - 1965 - Journal of Symbolic Logic 30 (1):90-91.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  4
    Review: Paul Axt, On a Subrecursive Hierarchy and Primitive Recursive Degrees. [REVIEW]Rózsa Péter - 1960 - Journal of Symbolic Logic 25 (2):167-168.
  34. Review: Paul Axt, Note on the 3-Recursive Functions. [REVIEW]Rozsa Peter - 1964 - Journal of Symbolic Logic 29 (4):199-199.
  35.  12
    Review: P. Lorenzen, Die Definition Durch Vollstandige Induktion. [REVIEW]Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (1):33-34.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  1
    Review: R. L. Goodstein, Logic-Free Formalisations of Recursive Arithmetic. [REVIEW]Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  20
    Review: Raphael M. Robinson, Recursion and Double Recursion. [REVIEW]Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (3):191-192.
  38.  10
    Review: Raphael M. Robinson, Arithmetical Definitions in the Ring of Integers. [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):269-270.
  39.  10
    Review: Raphael M. Robinson, Arithmetical Definability of Field Elements. [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-270.
  40.  8
    Raphael M. Robinson. Undecidable—Rings. Transactions of the American Mathematical Society, Bd. 70 , S.137–159. [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):268-269.
  41.  19
    Review: Raphael M. Robinson, Primitive Recursive Functions. II. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):375-376.
  42.  13
    Review: S. C. Kleene, General Recursive Functions of Natural Numbers. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  26
    Review: S. C. Kleene, $Lambda$-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
  44.  30
    Review: S. C. Kleene, On Notation for Ordinal Numbers. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
  45.  9
    Review: S. C. Kleene, A Symmetric Form of Godel's Theorem. [REVIEW]Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (2):147-147.
  46. Review: Solomon Feferman, Classifications of Recursive Functions by Means of Hierarchies. [REVIEW]Rozsa Peter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
  47.  1
    Review: Th. Skolem, A Version of the Proof of Equivalence Between Complete Induction and the Uniqueness of Primitive Recursion. [REVIEW]Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (1):69-69.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  10
    Review: W. Smielew, Decision Problem in Group Theory. [REVIEW]Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (1):63-64.
  49.  8
    Review: W. V. Quine, On Derivability. [REVIEW]Rozsa Peter - 1938 - Journal of Symbolic Logic 3 (1):53-53.
  50.  4
    Review: W. V. Quine, Completeness of the Propositional Calculus. [REVIEW]Rozsa Peter - 1938 - Journal of Symbolic Logic 3 (3):118-119.
1 — 50 / 106