- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Laszlo Kalmar
16 found
Order:
- 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
- On the reduction of the decision problem.László Kalmár & János Surányi - 1947 - Journal of Symbolic Logic 12 (3):65 - 73.
- 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.
- An Independence Question in Recursive Arithmetic.Alonzo Church & Laszlo Kalmar - 1971 - Journal of Symbolic Logic 36 (4):692-693.
- Ü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
- Ü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
- 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.
- 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.No categories
- Eine Einfache Konstruktion Unentscheidbarer Satze in Formalen Systemen.Laszlo Kalmar & Ernst V. Glasersfeld - 1952 - Journal of Symbolic Logic 17 (2):150-151.
- 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.
- 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.
- A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.
- 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.
- 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.
- Review: Andrzej Mostowski, Axiom of Choice for Finite Sets. [REVIEW]László Kalmár - 1948 - Journal of Symbolic Logic 13 (1):45-46.
- Review: Rozsa Peter, The Bounds of the Axiomatic Method. [REVIEW]László Kalmár - 1941 - Journal of Symbolic Logic 6 (3):111-111.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-tstkh uwo