Maslov, S.Yu.
Theory of deductive systems and its applications - Foundations of computing series .
D6,8(B) M636
Deductive Systems
681.3 MAS
Theory of deductive systems and its applications - Foundations of computing series .
D6,8(B) M636
Deductive Systems
681.3 MAS