119 found
Order:
  1.  27
    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.
  2.  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  
  3.  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  
  4.  52
    Péter Rózsa. Rekurzív Definiciók, Melyek Változó Számu Korábbi Függvényertéket Használnak Fel. Matematikai Lapok , Vol. 5 , Pp. 7–9. An Abstract of XX 176.Péter Rózsa. Ujabb Bizonyítás Arra, Hogy a Csillag-Kalmár-Féle Elemi Függvények Osztálya Szükebb, Mint a Primitiv-Rekurzív Függvényeké. Matematikai Lapok , Vol. 5 , Pp. 244–252. Hungarian Version of XX 282.Péter Rózsa. Kalmár László Matematikai Munkássága . Ebd., Bd. 6 , S. 138–150. [REVIEW]R. Péter - 1957 - Journal of Symbolic Logic 22 (3):295-296.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  41
    Review of Kleene, Λ-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
  6.  28
    Zum Beitrag Von F. Schwenkel „Rekursive Wortfunktionen Über Unendlichen Alphabeten”.Rózsa Péter - 1965 - Mathematical Logic Quarterly 11 (4):377-378.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  26
    Robinson Raphael M.. Undecidable—Rings. Transactions of the American Mathematical Society, Bd. 70 , S.137–159.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):268-269.
  8.  31
    Review: Mandle Jon and Reidy David A., Eds., A Companion to Rawls. [REVIEW]Review by: Fabienne Peter - 2015 - Ethics 125 (2):591-596,.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  28
    Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):29-36.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  24
    Losing the Feel for Social Judgements: Age-Related Physiological Changes When Evaluating the Approachability of Emotional Faces.Willis Megan, Netscher Christina, Terrett Gill & Rendell Peter - 2015 - Frontiers in Human Neuroscience 9.
  11.  6
    Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  12.  7
    Review: Janos Suranyi, Uber das Entscheidungsproblem der Mathematischen Logik. [REVIEW]R. Péter - 1957 - Journal of Symbolic Logic 22 (3):296-296.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  28
    Review: Raphael M. Robinson, Primitive Recursive Functions. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
  14.  22
    Curry H. B.. A Note on the Reduction of Gentzen's Calculus LJ. Bulletin of the American Mathematical Society, Bd. 45 , S. 288–293. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (3):128-128.
  15. Reencontrar el gusto por el límite (o el derecho a ser imperfecto).Ricardo Peter - 2004 - la Lámpara de Diógenes 5 (9):139-142.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  20
    Pospfšil Bedřich. Von den Verteilungen auf Booleschen Ringen. Mathematische Annalen, Bd. 118 , S. 32–40.Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):21-22.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  19
    Janiczak A.. On the Reducibility of Decision Problems. Nach Dem Tode des Verf., von A. Grzegorczyk Herausgegeben. Colloquium Mathematicum, Bd. 3 Heft 1 , S. 33–36. [REVIEW]Rózsa Péter - 1956 - Journal of Symbolic Logic 21 (1):100-101.
  18.  18
    Rice H. G.. Classes of Recursively Enumerable Sets and Their Decision Problems. Transactions of the American Mathematical Society, Vol. 74 Pp. 358–366. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (2):121-122.
  19.  17
    Robinson Raphael M.. Recursion and Double Recursion. Bulletin of the American Mathematical Society, Bd. 54 , S. 987–993. [REVIEW]Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (3):191-192.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  25
    Review: S. C. Kleene, $Lambda$-Definability and Recursiveness. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
  21.  16
    Ackermann Wilhelm. Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen, Bd. 117 , S. 162–194.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-127.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  16
    Kleene S. C.. Λ-Definability and Recursiveness. Duke Mathematical Journal, Bd. 2 , S. 340–353.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-39.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  19
    Review: Raphael M. Robinson, Recursion and Double Recursion. [REVIEW]Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (3):191-192.
  24.  15
    Bereczki Ilona. Nem Elemi Rekurzív Függvény Létezése . Ungarisch, MIT Deutschem Auszug, Und Kurzem Russischem Auszug. Az Első Magyar Matematikai Kongresszus Közleményei 1950. Augusztus 27. - Szeptember 2 – Comptes Rendus du Premier Congrès des Mathématiciens Hongrois 27 Août - 2 Septembre 1950, Publié Avec le Soutien de l'Académie des Sciences de Hongrie Par la Société Mathémetique János Bolyai, Budapest 1952, S. 409–417. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):298-299.
  25.  15
    Skolem Th.. Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie. Monatshefte für Mathematik und Physik, Bd. 48 , S. 268–276. [REVIEW]Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (1):34-35.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  24
    Review: S. C. Kleene, On Notation for Ordinal Numbers. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
  27.  14
    Quine W. V.. On Derivabiliiy.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (1):53-53.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    Solomon Feferman. Classifications of Recursive Functions by Means of Hierarchies. Transactions of the American Mathematical Society, Bd. 104 , S. 101–122. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
  29.  13
    S. C. Kleene. A Symmetric Form of Gödel's Theorem. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the Section of Sciences, Bd. 53 , S. 800–802; Auch Indagationes Mathematicae, Bd. 12 , S. 244–246. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):147-147.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    Smielew W.. Decision Problem in Group Theory. Ebd., Sonderabdruck 1948, S. 373–376.Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (1):63-64.
  31.  12
    Ackerman Wilhelm. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 , S. 305–315.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (4):167-167.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  12
    Hajnal András und Kalmár László. Megjegyzés a halmazelmélet Gödel-féle axiómarendszeréhez . Ebd., Bd. 7 , S. 26–42, 218–229. [REVIEW]R. Péter - 1957 - Journal of Symbolic Logic 22 (3):296-296.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  12
    S. C. Kleene. General Recursive Functions of Natural Numbers. Mathematische Annalen, Bd. 112 , S. 727–742.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  12
    Robinson Julia. A Note on Primitive Recursive Functions. Ebd., S. 667–670.Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):376-376.
  35.  12
    Reviews. Raphael M. Robinson. Primitive Recursive Functions. Bulletin of the American Mathematical Society, Bd. 53 , S 925–942. [REVIEW]Rózsa Péter - 1948 - Journal of Symbolic Logic 13 (2):113-114.
  36.  12
    Robinson Raphael M.. Arithmetical Definitions in the Ring of Integers. Proceedings of the American Mathematical Society, Bd. 2 , S.279–284. [REVIEW]Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):269-270.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37.  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  
  38.  11
    Gentzen Gerhard. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig 1938. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  11
    Henkin Leon. Completeness in the Theory of Types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
  40.  11
    Robinson Raphael M.. Arithmetical Definability of Field Elements.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):270-270.
  41.  18
    Review: Raphael M. Robinson, Primitive Recursive Functions. II. [REVIEW]Rózsa Péter - 1957 - Journal of Symbolic Logic 22 (4):375-376.
  42.  16
    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.
  43.  10
    Quine W. V.. Completeness of the Propositional Calculus.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):118-119.
  44.  15
    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.
  45.  6
    Review: Andras Hajnal, Laszlo Kalmar, Eine Bemerkung zum Godelschen Axiomensystem der Mengenlehre. [REVIEW]R. Péter - 1957 - Journal of Symbolic Logic 22 (3):296-296.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  11
    Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv‐rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  9
    Tait W. W.. Nested Recursion. Mathematische Annalen, Bd. 143 , S. 236–250.Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
  48.  10
    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.
  49.  10
    Review: W. W. Tait, Nested Recursion. [REVIEW]Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
  50.  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  
1 — 50 / 119