Issledovanii︠a︡ po teorii algorifmov i matematicheskoĭ logike /
Erickson, John,1929-2002,former owner.StEdNL
Erickson, Ljubica,former owner.StEdNL
Markov, A. A.(Andreĭ Andreevich),1903-
Khomich, V. I.(Vadim Ivanovich)
Akademii︠a︡ nauk SSSR.Vychislitelʹnyĭ t︠s︡entr.
Moskva : Nauka,
1979.
At head of title: Akademii︠a︡ Nauk SSSR Vychislitelńyĭ T︠s︡entr.
Includes bibliographical references.
John and Ljubica Erickson collection.
Algorithms.
Logic, Symbolic and mathematical.