Matematicheska︠i︡a logika i teori︠i︡a algoritmov /
Saved in:
OCLC: | 11970868 |
---|---|
Other Authors: | |
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.