23 found
Order:
  1. Laszlo Kalmar & Janos Suranyi (1947). On the Reduction of the Decision Problem. Journal of Symbolic Logic 12 (3):65 - 73.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    László Kalmár (1955). Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):93-96.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    László Kalmár (1956). Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (1-4):1-14.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  7
    Laszlo Kalmar, Janos Suranyi, W. V. Quine, Ernest Nagel, George Dw Berry, George W. Brown, Th Skolem, Evert W. Beth, Max Black & H. E. Vaughan (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 102 (104).
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  15
    Laszlo Kalmar (1939). On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, a Single Binary Predicate. Journal of Symbolic Logic 4 (1):1 - 9.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6.  12
    Laszlo Kalmar & Janos Suranyi (1950). On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate. Journal of Symbolic Logic 15 (3):161 - 173.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  7.  9
    László Kalmár & János Surányi (1947). On the Reduction of the Decision Problem. Journal of Symbolic Logic 12 (3):65-73.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8.  8
    László Kalmár (1939). On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, a Single Binary Predicate. Journal of Symbolic Logic 4 (1):1-9.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  9.  8
    László Kalmár & János Surányi (1950). On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate. Journal of Symbolic Logic 15 (3):161-173.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  10. Laszlo Kalmar (1967). Mathematics Teaching Experiments in Hungary. In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. Amsterdam, North-Holland Pub. Co. 233--237.
    No categories
     
    Export citation  
     
    My bibliography   2 citations  
  11.  2
    Laszlo Kalmar (1946). Review: Haskell B. Curry, The Paradox of Kleene and Rosser. [REVIEW] Journal of Symbolic Logic 11 (4):136-137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  2
    Laszlo Kalmar (1948). Review: Andrzej Mostowski, Axiom of Choice for Finite Sets. [REVIEW] Journal of Symbolic Logic 13 (1):45-46.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Laszlo Kalmar (1948). Review: Wanda Szmielew, On Choices From Finite Sets. [REVIEW] Journal of Symbolic Logic 13 (4):224-224.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    László Kalmár (1955). Über ein Problem, betreffend die Definition des Begriffes der allgemein‐rekursiven Funktion. Mathematical Logic Quarterly 1 (2):93-96.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    László Kalmár (1956). Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität. Mathematical Logic Quarterly 2 (1‐4):1-14.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16. Alonzo Church & Laszlo Kalmar (1971). An Independence Question in Recursive Arithmetic. Journal of Symbolic Logic 36 (4):692-693.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. László Kalmár (1946). Curry Haskell B.. The Paradox of Kleene and Rosser. Transactions of the American Mathematical Society, Vol. 50 , Pp. 454–516. [REVIEW] Journal of Symbolic Logic 11 (4):136-137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Laszlo Kalmar & Ernst V. Glasersfeld (1952). Eine Einfache Konstruktion Unentscheidbarer Satze in Formalen Systemen. Journal of Symbolic Logic 17 (2):150-151.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. László Kalmár (1948). Mostowski Andrzej. Axiom of Choice for Finite Sets. Fundamenta Mathematicae, Vol. 33 , Pp. 137–168. Journal of Symbolic Logic 13 (1):45-46.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. László Kalmár (1941). Péter Rózsa. Az Axiomatikus Módszer Korlátai . Hungarian with German Abstract. Matematikai És Fizihai Lapok, Bd. 48 , Pp. 120–143. [REVIEW] Journal of Symbolic Logic 6 (3):111.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Laszlo Kalmar (1941). Review: Rozsa Peter, The Bounds of the Axiomatic Method. [REVIEW] Journal of Symbolic Logic 6 (3):111-111.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. C. H. Langford & Laszlo Kalmar (1937). Zuruckfuhrung des Entscheidungsproblems auf den Fall von Formeln mit einer Einzigen, Binaren, Funktionsvariablen. Journal of Symbolic Logic 2 (1):48.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Ann M. Singleterry & Laszlo Kalmar (1966). A New Principle of Construction of Logical Machines. Journal of Symbolic Logic 31 (3):516.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography