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

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

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

The Loophole in LSAT Logical Reasoning: A Splendidly Comprehensive LSAT Stud...

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionali-,

The Loophole in LSAT Logical Reasoning LSAT Study Guide Spiral Bound

Brown - Automated Reasoning in Higher-Order Logic Set Comprehension a - X555z

Logic : Techniques of Formal Reasoning by Richard Montague, Robert J....