Theory of Deductive Systems and Its Applications

• Κύριος συγγραφέας: Maslov, S. Y. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1987
• Σειρά: MIT Press Series in the Foundations of Computing
• Θέματα: Λογική, Συμβολική και μαθηματική; MATHEMATICS