16 found
Order:
  1.  35
    On the Reduction of the Decision Problem. Third Paper. Pepis Prefix, a Single Binary Predicate.László Kalmár & János Surányi - 1950 - Journal of Symbolic Logic 15 (3):161 - 173.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  5
    An Independence Question in Recursive Arithmetic.Alonzo Church & Laszlo Kalmar - 1971 - Journal of Symbolic Logic 36 (4):692-693.
  3.  5
    Über ein Problem, betreffend die Definition des Begriffes der allgemein‐rekursiven Funktion.László Kalmár - 1955 - Mathematical Logic Quarterly 1 (2):93-96.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  20
    Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion.László Kalmár - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):93-96.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  26
    Curry Haskell B.. The Paradox of Kleene and Rosser. Transactions of the American Mathematical Society, Vol. 50 , Pp. 454–516. [REVIEW]László Kalmár - 1946 - Journal of Symbolic Logic 11 (4):136-137.
  6.  6
    Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Mathematical Logic Quarterly 2 (1‐4):1-14.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  20
    Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (1-4):1-14.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  2
    Eine Einfache Konstruktion Unentscheidbarer Satze in Formalen Systemen.Laszlo Kalmar & Ernst V. Glasersfeld - 1952 - Journal of Symbolic Logic 17 (2):150-151.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  7
    Mostowski Andrzej. Axiom of Choice for Finite Sets. Fundamenta Mathematicae, Vol. 33 , Pp. 137–168.László Kalmár - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  10. Mathematics Teaching Experiments in Hungary.Laszlo Kalmar - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 233--237.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  11.  34
    On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, a Single Binary Predicate.László Kalmár - 1939 - Journal of Symbolic Logic 4 (1):1 - 9.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  12. On the Reduction of the Decision Problem.László Kalmár & János Surányi - 1947 - Journal of Symbolic Logic 12 (3):65 - 73.
  13.  6
    Péter Rózsa. Az Axiomatikus Módszer Korlátai . Hungarian with German Abstract. Matematikai És Fizihai Lapok, Bd. 48 , Pp. 120–143. [REVIEW]László Kalmár - 1941 - Journal of Symbolic Logic 6 (3):111-111.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    Review: Andrzej Mostowski, Axiom of Choice for Finite Sets. [REVIEW]László Kalmár - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  15.  6
    Review: Rozsa Peter, The Bounds of the Axiomatic Method. [REVIEW]László Kalmár - 1941 - Journal of Symbolic Logic 6 (3):111-111.
  16.  9
    A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.