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

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

LSAT Practice Tests 2025-2026: Logical Reasoning and Reading Comprehension

Lsat Bible Ser.: Powerscore LSAT Logical Reasoning Bible by David M. Killoran...

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

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

Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality

Manhattan Prep LSAT Strategy Guides: LSAT Logical Reasoning by Manhattan Prep