Matematicheska︠i︡a logika i teori︠i︡a algoritmov /

Saved in:
Bibliographic Details
OCLC:11970868
Other Authors: Sobolev, S. L. (Sergeĭ Lʹvovich), 1908-
Language:Russian
Published: Novosibirsk : Izd-vo "Nauka," Sibirskoe otd-nie, 1982.
Series:Trudy Instituta matematiki, t. 2.
Subjects:
Format:

Monograph

Note that CRL will digitize material from the collection when copyright allows.

Table of Contents:
  • Predelʹno ėkvivalentnye konstruktiviza︠t︡sii / S.S. Goncharov
  • Stroenie reshetok kvazimnogoobraziĭ / V.A. Gorbunov, V.I. Tumanov
  • Interpol︠i︡a︠t︡sionna︠i︡a teorema Lindona v modalʹnykh logikakh / L.L. Maksimova
  • Klassifika︠t︡si︠i︡a stepennykh nilʹpotentnykh grupp po ėlementarnym svoĭstvam / A.G. M︠i︡asnikov, V.N. Remeslennikov
  • Konechno aksiomatiziruemye totalʹno trans︠t︡sendentnye teorii / M.G. Peret︠i︡atʹkin
  • Ob indeksnykh mnozhestvakh v ierarkhii Klini--Mostovskogo / V.L. Selivanov
  • K teorii sinteza programm / N.N. Nepeĭvoda, D.I. Sviridenko.