Logic for Mathematics and Computer Science by Stanley N. Burris aims to offer a balanced, hands‑on introduction to mathematical logic tailored for students in mathematics and computer science. The text covers both traditional topics and algorithmic methods, making logic relevant and practical. It begins with Aristotle’s syllogisms and Boole’s algebra of logic, progresses through propo…