Chad E. Brown Automated Reasoning in Higher-order Logic (Paperback) (UK IMPORT)

Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...

The Loophole in LSAT Logical Reasoning LSAT Study Guide Spiral Bound

The Art of Reasoning : An Introduction to Logic (5th Edition)

The Loophole in LSAT Logical Reasoning: a Splendidly Comprehensive LSAT Study Gu

LR Perfection: A Complete Guide to Perfecting the Logic Reasoning Section

Logic in Computer Science: Modelling and Reasoning about Systems, Huth, Michael,