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

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

Logic for Programming and Automated Reasoning : 7th International

Logic Programming and Automated Reasoning : 4th International Con

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Ve

Reasoning and Formal Logic by Richard L. Epstein (2015, Trade Paperback)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Ve

NEW! PowerScore LSAT Bible Trilogy Set - Reasoning, Comprehension, Logic Games