The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Properties and Propositions: The Metaphysics of Higher-Order Logic

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory
Loading Inventory...

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory

Barnes & Noble
Current price: $44.00
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Loading Inventory...

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Barnes & Noble
Current price: $54.99
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings / Edition 1
Loading Inventory...

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings / Edition 1

Barnes & Noble
Current price: $54.99
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1
Loading Inventory...

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / Edition 1

Barnes & Noble
Current price: $54.99
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Edition 1
Loading Inventory...

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Edition 1

Barnes & Noble
Current price: $54.99
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1
Loading Inventory...

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1

Barnes & Noble
Current price: $54.99
Higher-Order Systems
Loading Inventory...

Higher-Order Systems

Barnes & Noble
Current price: $159.99
Higher Order Derivatives / Edition 1
Loading Inventory...

Higher Order Derivatives / Edition 1

Barnes & Noble
Current price: $84.99
Higher-Order Differential Equations and Elasticity
Loading Inventory...

Higher-Order Differential Equations and Elasticity

Barnes & Noble
Current price: $66.99
Higher-Order Evidence and Moral Epistemology
Loading Inventory...

Higher-Order Evidence and Moral Epistemology

Barnes & Noble
Current price: $55.99
Foundations without Foundationalism: A Case for Second-order Logic
Loading Inventory...

Foundations without Foundationalism: A Case for Second-order Logic

Barnes & Noble
Current price: $70.00
Acquisition of Complex Arithmetic Skills and Higher-Order Mathematics Concepts
Loading Inventory...

Acquisition of Complex Arithmetic Skills and Higher-Order Mathematics Concepts

Barnes & Noble
Current price: $99.95
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / Edition 1
Loading Inventory...

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / Edition 1

Barnes & Noble
Current price: $54.99
Focus on Thinking: Engaging Educators Higher-Order Thinking
Loading Inventory...

Focus on Thinking: Engaging Educators Higher-Order Thinking

Barnes & Noble
Current price: $53.00
Higher Order Dynamic Mode Decomposition and Its Applications
Loading Inventory...

Higher Order Dynamic Mode Decomposition and Its Applications

Barnes & Noble
Current price: $160.00
Higher-Order Evidence and Moral Epistemology / Edition 1
Loading Inventory...

Higher-Order Evidence and Moral Epistemology / Edition 1

Barnes & Noble
Current price: $190.00
Powered by Adeptmind