Kalmár László. Zurückführung des Enlscheidungsproblems auf den Fall von Formeln mil einer einzigen, binären, Funktionsvariablen. Compositio mathematica, vol. 4 no. 1 , pp. 137–144 [Book Review]

Journal of Symbolic Logic 2 (1):48-48 (1937)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200039736

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hans Freudenthal. Zur intuitionistischen Deutung logischer Formeln. Compositio mathematica, vol. 4 no. 1 , pp. 112–116. - A. Heyting. Bemerkungen zu dem Aufsatz von Herrn Freudenthai “Zur intuitionistischen Deutung logischer Formeln.” Compositio mathematica, vol. 4 no. 1 , pp. 117–118. - Nachwort von Hans Freudenthal. Compositio mathematica, vol. 4 no. 1 , p. 118. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):48-48.
Review: Laszlo Kalmar, Recent Results Concerning the Foundations of Mathematics; Alfred Renyi, Gyorgy Alexits, Janos Aczel, Remarks Concerning the Lecture of Laszlo Kalmar; Laszlo Kalmar, Laszlo Kalmar's Reply. [REVIEW]John G. Kemeny - 1959 - Journal of Symbolic Logic 24 (2):174-174.
Review: Laszlo Kalmar, Une Forme du Theoreme de Godel Sous des Hypotheses Minimales; Laszlo Kalmar, Quelques Formes Generales du Theoreme de Godel. [REVIEW]Leon Henkin - 1950 - Journal of Symbolic Logic 15 (3):230-230.
Kalmár László. Eine einfache Konstruktion unenlscheidbarer Sätze in formalen Systemen. Methodos, vol. 2 no. 6–7 , pp. 220–226.Kalmár László. A simple construction of undecidable propositions in formal systems. English translation of the preceding by Ernst v. Glasersfeld. Methodos, vol. 2 no. 6–7 , pp. 227–231. [REVIEW]John G. Kemeny - 1952 - Journal of Symbolic Logic 17 (2):150-151.
Kalmár László. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 , pp. 1–27. [REVIEW]William W. Boone - 1958 - Journal of Symbolic Logic 23 (4):447-448.
Kalmár László. Contributions to the reduction theory of the decision problem. Third paper. Prefix … , a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2, pp. 19–38. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (3):264-264.
Kalmár Lászlô. Contributions to the reduction theory of the decision problem. First paper. Prefix … , a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae , vol. 1 no. 1 , pp. 64–73. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):73-73.
Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957.A. Heyting (ed.) - 1959 - Amsterdam: North-Holland.
Kleene S. C.. Quantification of number-theoretic functions. Compositio mathematica, vol. 14 no. 1 , pp. 23–40.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-82.
Johansson Ingebrigt. Der Minimalkalkül, ein reduzierter intutionistischer Formalismus. Compositio mathematica, vol. 4 no. 1 , pp. 119–136. [REVIEW]W. V. Quine - 1937 - Journal of Symbolic Logic 2 (1):47-47.
An Argument against the Plausibility of Church's Thesis.László Kalmár - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 72-80.
van Rootselaar B.. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168. [REVIEW]Vladeta Vuckovic - 1966 - Journal of Symbolic Logic 31 (3):509-509.
A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.
Review: Laszlo Kalmar, On the Possibility of Definition by Recursion. [REVIEW]S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (2):70-70.
On the reduction of the decision problem.László Kalmár & János Surányi - 1947 - Journal of Symbolic Logic 12 (3):65 - 73.

Analytics

Added to PP
2013-11-22

Downloads
13 (#1,022,934)

6 months
1 (#1,491,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references