Issledovanii͡a︡ po matematicheskoĭ logike i teorii algoritmov
By: [redaktor Kh.M. Rukhai͡a︡].
Contributors: Rukhai͡a︡, Kh. M.; I. Vekuas saxelobis gamoqenebitʻi matʻematikis instituti.
Publisher: Izd-vo Tbilisskogo universiteta
Published: 1985
Place of publication: Tbilisi
Language: rus
Number of pages: 105
Subjects: Logic, Symbolic and mathematical.; Algorithms.
Other titles: Gamokvlevebi matʻematikur logikasa da algoritʻmebis tʻeoriaši.
Notes: Includes bibliographies.
Title in colophon: Gamokvlevebi matʻematikur logikasa da algoritʻmebis tʻeoriaši.
At head of title: Tbilisskiĭ ordena Trudovogo Krasnogo Znameni gosudarstvennyĭ universitet. Institut prikladnoĭ matematiki im. I.N. Vekua.
Summaries in English and Georgian.