Publisher's Synopsis
This text examines the applications of basic logic in computer science. It includes topics such as the development of logic, Aristotelian Logic, standard propositional calculus, basic non-classic systems, and logic for software systems.