Title: Handbook of Logic in Computer Science
Subjects: Symbolic and mathematical Logic, Computer science, Logic, symbolic and mathematical, Logic programming, Electronic Data Processing, Informatique, Logique symbolique et mathématique, COMPUTERS, Reference, Machine Theory, Computer Literacy, Information Technology, Data Processing, Hardware, General, Ciencia da computacao ou informatica, Logica e semantica de programacao, 1888