Richards, Dana: Logic and Language Models for Computer Science (Fourth Edition)