Introductory Logic and Sets for Computer Scientists

A modern approach to teaching logic and set theory drawing from the fields of software engineering, artificial intelligence and natural language processing. The text covers the areas of mathematics considered essential to computer science including: logic, set theory, and modern algebra.