Title: Logic and Algorithms with Applications to the Computer and Information Sciences
First published: January 1967
Subjects: Algorithmes, Algorithmus, Mathematische Logik, Symbolic and mathematical Logic, Logique symbolique et mathematique, Algorithms, Logique symbolique et mathématique, Logic, symbolic and mathematical