TY  - BOOK
AU  - Maslov, S.Yu.
TI  - Theory of deductive systems and its applications
KW  - Deductive Systems
N1  - D6,8(B) M636
ER  -