Language, Proof and Logic, - Paperback, by Barker-Plummer David; Barwise - Good

Alan Turing's Systems of Logic: The Princeton Thesis Andrew Appel Paperback 2012

ART OF REASONING WITH SYMBOLIC LOGIC By David Kelley - Hardcover

Logic Pro X 10.5 - Apple Pro - Paperback, by Nahmani David - Very Good c

Sets, Logic and Maths for Computing - Paperback, by Makinson David - Very Good

Computing With Logic: Logic Programming With- 0805366814, paperback, David Maier

Programming Logic and Design, - Paperback, by Farrell Joyce - Acceptable

The Logic of Congressional Action - R Douglas Arnold, 0300056591, paperback