Logic and Algorithms with Applications to the Computer and Information Sciences

Algorithmes Algorithmus Mathematische Logik Symbolic and mathematical Logic Logique symbolique et mathematique Algorithms Logique symbolique et mathématique Logic, symbolic and mathematical