Surányi János. A matematikai logika eldöntésproblémájáról . Ebd., S. 180–197

Journal of Symbolic Logic 22 (3):296-296 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963608

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

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

Surányi László Kalmár und János. On the reduction of the decision problem. Second paper. Gödel prefix, a single binary predicate. Ebd., S. 65–73. [REVIEW]W. Ackermann - 1948 - Journal of Symbolic Logic 13 (1):48-48.
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.
Reidemeister Kurt. Anschauung als Erkenntnisquelle. Ebd., S. 197–210.Heinrich Scholz - 1948 - Journal of Symbolic Logic 13 (3):154-154.
Review: Janos Suranyi, Uber das Entscheidungsproblem der Mathematischen Logik. [REVIEW]R. Péter - 1957 - Journal of Symbolic Logic 22 (3):296-296.
Surányi János. Halmazok véges osztályainak szerkezetéről . Hungarian, with abstracts in Russian and French. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27.-szeptember 2. – Comptes rendus du Premier Congrès des Mathématiciens Hongrois 21 août-2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest 1952, pp. 401–407. [REVIEW]John G. Kemeny - 1955 - Journal of Symbolic Logic 20 (3):284-285.
A matematikai logika alapjai.Zoltán Páter - 1978 - Kolozsvár-Napoca: Dacia.
Review: Janos Suranyi, Reduction of the Decision Problem to Formulas Containing a Bounded Number of Quantifiers Only. [REVIEW]Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (2):131-131.
Review: Janos Suranyi, Sur la Structure des Classes Finies d'Ensembles. [REVIEW]John G. Kemeny - 1955 - Journal of Symbolic Logic 20 (3):284-285.
Kalmár László and Surányi János. On the decision problem. Third paper. Pepis prefix, a single binary predicate. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (3):215-216.

Analytics

Added to PP
2016-06-30

Downloads
32 (#709,290)

6 months
14 (#233,812)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references