Title: Theory of deductive systems and its applications
Subjects: Algorithms, Artificial intelligence, Machine theory, Symbolic and mathematical Logic, Algorithmes, Logique symbolique et mathématique, Automates mathématiques, Théorie des, Intelligence artificielle, Logic, symbolic and mathematical