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 [Book Review]
Journal of Symbolic Logic 20 (3):284-285 (1955)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
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.
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.
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.
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. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):298-299.
Colloque Sur les Fondements des Mathématiques, les Machines Mathématiques, Et Leurs Applications Tihany, 11-15 Septembre 1962. [REVIEW]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.
Ádám András. Kétpólusú elektromos hálózatokról . Hungarian with Russian and German summaries. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei , vol. 2 , pp. 211–218, and vol. 3 , pp. 67–79, 207–218, and vol. 4 , pp. 183–190. [REVIEW]G. Pollák - 1962 - Journal of Symbolic Logic 27 (3):366-367.
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.
Surányi János. A matematikai logika eldöntésproblémájáról . Ebd., S. 180–197.R. Péter - 1957 - Journal of Symbolic Logic 22 (3):296-296.
Szentmiklóssy Z.. S-spaces and L-spaces under Martin's axiom. Topology, Volume II, edited by Császár A., Colloquia mathematica Societatis János Bolyai, no. 23, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1980, pp. 1139–1145. Balogh Zoltán. On compact Hausdorff spaces of countable tightness. Proceedings of the American Mathematical Society, vol. 105 (1989), pp. 755–764. [REVIEW]Piotr Koszmider - 2002 - Bulletin of Symbolic Logic 8 (2):306-307.
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.
Pollák György. Megjegyzés Ádám András “Kétpólusú elektromos hálózatokról, II.” cimü dolgozatához . Hungarian, with Russian and German summaries. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei , vol. 3 , pp. 81–82. [REVIEW]A. Ádám - 1962 - Journal of Symbolic Logic 27 (3):367-367.
de Bengy-Puyvallée R.. La notion de composabilité en logique. Synthese , vol. 7 , pp. 201–205.Bengy-Puyvallée Renaud de. Sur les règles de composabilité dans la logique de la mathématique intuitioniste sans négation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 226 , pp. 454–456.de Bengy-Puyvallée Renaud. Sur la relation de composabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 228 , pp. 624–626.de Bengy-Puyvalleé Renaud. Sur les relations d'incomposabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 265–267. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):231-232.
Analytics
Added to PP
2016-06-30
Downloads
16 (#669,202)
6 months
1 (#448,551)
2016-06-30
Downloads
16 (#669,202)
6 months
1 (#448,551)
Historical graph of downloads
