Theory of deductive systems and its applications /
Maslov, S. I︠U︡.(Sergeĭ IUrʹevich)
Cambridge, Mass. : MIT Press,
c1987.
Translation of: Teoriya deduktivnykh system i yeyo primeneniya.
Bibliography: p. [149]-151.
Logic, Symbolic and mathematical.
Algorithms.
Machine theory.
Artificial intelligence.