Bereczki Ilona. Nem elemi rekurzív függvény létezése . Ungarisch, mit deutschem Auszug, und kurzem russischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2 – Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathémetique János Bolyai, Budapest 1952, S. 409–417 [Book Review]

Journal of Symbolic Logic 19 (4):298-299 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267764

Links

PhilArchive



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

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

Kalmár László. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére . Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 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, S. 163–190. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):72-72.
Markov A. A.. Téoriá algorifmov . Russian, with brief abstract in Hungarian. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 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. 191–203. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):73-73.
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.
Péter Rózsa. Transzfinit rekurziók ). Hungarian, with brief abstract in Russian and fuller abstract in German. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 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. 419–428. [REVIEW]John G. Kemeny - 1955 - Journal of Symbolic Logic 20 (1):73-73.
Nem Elemi Rekurziv Függvény Létezése.Ilona Bereczki - 1954 - Journal of Symbolic Logic 19 (4):298-299.
Review: Ilona Bereczki, Nem Elemi Rekurziv Fuggveny Letezese (Existenze einer Nichtelementaren Rekursiven Funktion). [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):298-299.
Kalmár László. A Hilbert-féle bizonyításelmélet célkitüzései, módszerei és eredményei . Ungarisch mit deutschem Auszug. Matematikai és fizihai lapok, Bd. 48 , S. 65–119. [REVIEW]Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (3):110-111.
Kalmár László. K. Schröter egy, az általános rekurzív függvény fogalmának definíciójára vonatkozó problémájának megoldása . A Magyar Tudományos Akadémia Matematikai és Fizikai Tudományok Osztályának Közleményei , vol. 5 no. 2 , pp. 103–127. [REVIEW]John G. Kemeny - 1960 - Journal of Symbolic Logic 25 (2):164-165.
Kalmár László. Egyszeril példa eldönthetetlen aritmetikai problémára . Ungarisch mit deutschem Auszug. Ebd., S. 1–23.Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):24-24.
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.
Existence et réalité, Polémique Avec Certaines Thèses Fondamentales de «L'être et le Néant” de Sartre. Par Zádor Tordai. Traduit du hongrois, Budapest, Akadémiai Kiadó, Maison d'edition de l'Académie des Sciences de Hongrie, 1967, 288 pages. [REVIEW]Jean-Marc Gabaude - 1973 - Dialogue 12 (3):579-580.
Colloque Sur les Fondements des Mathématiques, les Machines Mathématiques, Et Leurs Applications Tihany, 11-15 Septembre 1962.László Kalmár, Magyar Tudományos Akadémia & Bolyai János Matematikai Társulat - 1965 - Gauthier-Villars E. Nauwelaerts.
Courcelle B.. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302.de Barker J. W. and Zucker J. I.. Derivatives of programs. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343.Engeler E.. An algorithmic model of strict finitism. Mathematical logic in computer science, edited by Dömölki B. and Gergely T., Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 345–357. [REVIEW]Steven S. Muchnick - 1984 - Journal of Symbolic Logic 49 (3):990-991.
Mihály Makkai. On PCΔ-classes in the theory of models. English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 1–2 , pp. 159–194. - M. Makkai. Remarks on my paper “On PCΔ-classes in the theory of models.” English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 3 , pp. 601–602. [REVIEW]Thomas Frayne - 1971 - Journal of Symbolic Logic 36 (2):335-336.
Léon Le Blanc. Dualité pour les égalités booléennes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 250 , pp. 3552–3553. - Léon Le Blanc. Les algèbres de transformation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 250 , pp. 3928–3930. - See XXIX 53 and the review above. [REVIEW]Donald Monk - 1964 - Journal of Symbolic Logic 29 (4):207-207.

Analytics

Added to PP
2016-06-30

Downloads
29 (#535,100)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references