Logic & Lang Model Comp (3rd Ed) by Richards Dana: Used

Logic And Language Models For Computer Science (Third Edition)

by

Logic in Computer Science: Modelling and Reasoning about Systems by M. Huth

Logic And Language Models For Computer Science (Third Edition) by Dana Richards

Logic and Language Models for Computer Science Dana, Hamburger, H