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  -