Matematicheskai͡a︡ logika i teorii͡a︡ algoritmov
By: otvetstvennyĭ redaktor S.L. Sobolev.
Contributors: Sobolev, S. L. 1908-
Series: Trudy Instituta matematiki,; t. 2
Publisher: Izd-vo "Nauka," Sibirskoe otd-nie
Published: 1982
Place of publication: Novosibirsk
Language: rus
Number of pages: 174
Subjects: Logic, Symbolic and mathematical.; Algorithms.
Notes: Includes bibliographies.
At head of title: Akademii͡a︡ nauk SSSR. Sibirskoe otdelenie.
Table of contents: title: Predelʹno ėkvivalentnye konstruktivizat͡s︡ii / S.S. Goncharov; title: Stroenie reshetok kvazimnogoobraziĭ / V.A. Gorbunov, V.I. Tumanov; title: Interpoli͡a︡t͡s︡ionnai͡a︡ teorema Lindona v modalʹnykh logikakh / L.L. Maksimova; title: Klassifikat͡s︡ii͡a︡ stepennykh nilʹpotentnykh grupp po ėlementarnym svoĭstvam / A.G. Mi͡a︡snikov, V.N. Remeslennikov; title: Konechno aksiomatiziruemye totalʹno transt͡s︡endentnye teorii / M.G. Pereti͡a︡tʹkin; title: Ob indeksnykh mnozhestvakh v ierarkhii Klini; title: Mostovskogo / V.L. Selivanov; title: K teorii sinteza programm / N.N. Nepeĭvoda, D.I. Sviridenko.