Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Subjects
Symbolic and mathematical Logic, AlgorithmsEdition | Availability |
---|---|
1 |
aaaa
|
Book Details
Table of Contents
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.
Edition Notes
Includes bibliographies.
At head of title: Akademii͡a︡ nauk SSSR. Sibirskoe otdelenie.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?October 30, 2020 | Created by MARC Bot | import existing book |