Matches in Library of Congress for { <http://lccn.loc.gov/83182304> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 83182304 contributor B4520810.
- 83182304 created "1982.".
- 83182304 date "1982".
- 83182304 date "1982.".
- 83182304 dateCopyrighted "1982.".
- 83182304 description "Includes bibliographies.".
- 83182304 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.".
- 83182304 extent "174 p. :".
- 83182304 isPartOf "Trudy Instituta matematiki, 0208-0060 ; t. 2".
- 83182304 issued "1982".
- 83182304 issued "1982.".
- 83182304 language "rus".
- 83182304 subject "Algorithms.".
- 83182304 subject "Logic, Symbolic and mathematical.".
- 83182304 subject "QA9.2 .M367 1982".
- 83182304 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.".
- 83182304 title "Matematicheskai︠a︡ logika i teorii︠a︡ algoritmov / otvetstvennyĭ redaktor S.L. Sobolev.".
- 83182304 type "text".