Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001308943/catalog> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- catalog contributor b1845563.
- catalog created "1982.".
- catalog date "1982".
- catalog date "1982.".
- catalog dateCopyrighted "1982.".
- catalog description "Includes bibliographies.".
- catalog description "Predelʹno ėkvivalentnye konstruktivizat︠s︡ii / S.S. Goncharov -- Stroenie reshetok kvazimnogoobraziĭ / V.A. Gorbunov, V.I. Tumanov -- Interpoli︠a︡t︠s︡ionnai︠a︡ teorema Lindona v modalʹnykh logikakh / L.L. Maksimova -- Klassifikat︠s︡ii︠a︡ stepennykh nilʹpotentnykh grupp po ėlementarnym svoĭstvam / A.G. Mi︠a︡snikov, V.N. Remeslennikov -- Konechno aksiomatiziruemye totalʹno transt︠s︡endentnye teorii / M.G. Pereti︠a︡tʹkin -- Ob indeksnykh mnozhestvakh v ierarkhii Klini--Mostovskogo / V.L. Selivanov -- K teorii sinteza programm / N.N. Nepeĭvoda, D.I. Sviridenko.".
- catalog extent "174 p. :".
- catalog isPartOf "Trudy Instituta matematiki, 0208-0060 ; t. 2".
- catalog issued "1982".
- catalog issued "1982.".
- catalog language "rus".
- catalog publisher "Novosibirsk : Izd-vo "Nauka," Sibirskoe otd-nie,".
- catalog subject "Algorithms.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA9.2 .M367 1982".
- catalog tableOfContents "Predelʹno ėkvivalentnye konstruktivizat︠s︡ii / S.S. Goncharov -- Stroenie reshetok kvazimnogoobraziĭ / V.A. Gorbunov, V.I. Tumanov -- Interpoli︠a︡t︠s︡ionnai︠a︡ teorema Lindona v modalʹnykh logikakh / L.L. Maksimova -- Klassifikat︠s︡ii︠a︡ stepennykh nilʹpotentnykh grupp po ėlementarnym svoĭstvam / A.G. Mi︠a︡snikov, V.N. Remeslennikov -- Konechno aksiomatiziruemye totalʹno transt︠s︡endentnye teorii / M.G. Pereti︠a︡tʹkin -- Ob indeksnykh mnozhestvakh v ierarkhii Klini--Mostovskogo / V.L. Selivanov -- K teorii sinteza programm / N.N. Nepeĭvoda, D.I. Sviridenko.".
- catalog title "Matematicheskai︠a︡ logika i teorii︠a︡ algoritmov / otvetstvennyĭ redaktor S.L. Sobolev.".
- catalog type "text".