Logic for Computer Scientists

This classic text introduces the notions and methods of formal logic from a computer science standpo...