TY - BOOK AU - Maslov, Sergei Iur'Evich AU - Lifschitx, Vladimir TI - THEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS U1 - 511.3 PY - 1987/// CY - Cambridge PB - Mit Pr. KW - Logic, Symbolic And Mathematical KW - Algorithms KW - Machine Theory ER -