Similar Listings
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