Abstract
I have to speak about the development of research in logic in Czech Republic, Hungary and Slovak Republic. Since the development in Czech and Slovak Republics went for long time in former Czechoslovakia together —and still does— I will not distinguish between those two countries. Just speaking about the contemporary situation I will stress who is in which of the two republics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hájek P., Sets, semisets, models, Axiomatic Set Theory (Scott D. S., ed.), Proceedings of Symposia in Pure Mathematics, Vol. XIII, Part I, American Mathematical Society, Providence, 1971
Hájek P., Bibliography of the Prague seminar on foundations of set theory — part II, Czech. Math. J. 23 (1973), 521–523
Kalmár L., A new principle of construction of logical machines, 2-ième Congrés International de Cybernétique, Namur, 1958, 458–463
Kalmár L., Über einen Rechenautomaten, der eine mathematische Sprache versteht, Zeitschr. Angew. Math. Mech. 40 (1960), 64–65
Kanamori A., The Higher Infinite, Springer Verlag, Berlin, 1994
Kleene S.C., Introduction to Metamathematics, van Nostrand com., New York, 1952
Mathias A.R.D., Logic and terror, Physis, rivista internationale di storia della scienza, XXVIII (1991), 557–578.
Péter R., Rekursive Funktionen, Akadémiai Kiadó, Budapest, 1951
Rieger L.S., Algebraic Methods of Mathematical Logic, Academia, Prague, 1967
Såntåné-Tóth E., Survey of Hungarian KBS Tools and Applications in the Engineering Field, Eng. Applic. Artif. Intell. 4 (1991), 409–416
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bukovský, L. (1997). Logic in Czechoslovakia and Hungary. In: Dalla Chiara, M.L., Doets, K., Mundici, D., van Benthem, J. (eds) Logic and Scientific Methods. Synthese Library, vol 259. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0487-8_25
Download citation
DOI: https://doi.org/10.1007/978-94-017-0487-8_25
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4786-1
Online ISBN: 978-94-017-0487-8
eBook Packages: Springer Book Archive