Literature Cited
Kh. Andreka, T. Gergei, and I. Nemeti, “Certain questions on n-th order languages. I,” Kibernetika, No. 5 (1974).
P. M. Cohn, Universal Algebra, Harper and Row, London (1965).
H. B. Enderton, A Mathematical Introduction to Logic, Academic Press, New York (1971).
T. Pertrzykowski, “A complete mechanization of second-order type theory,” J. ACM, 20, No. 2 (1973).
J. A. Robinson, “Mechanizing higher-order logic,” Machine Intelligence,4 (1969).
J. L. Darlington, “A partial mechanization of second-order logic,” Machine Intelligence,6 (1971).
Kh. Andreka, T. Gergei, and I. Nemeti, “Problem-oriented hierarchy of languages and logic of arrangements (in Hungarian),” KFKI-72-46 (1972).
A. M. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
L. Henkin, I. O. Monk, and A. Tarski, Cylindric Algebras, North Holland, London (1971).
Additional information
Translated from Kibernetika, No. 6, pp. 79–83, November–December, 1974.
Rights and permissions
About this article
Cite this article
Andrejka, H., Gergely, T. & Nemethy, I. Certain questions on n-th order languages. II. Cybern Syst Anal 10, 1003–1008 (1974). https://doi.org/10.1007/BF01069444
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069444