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

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.
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
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
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
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
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
Higher Order Necessary Conditions in Optimal Control Theory
Loading Inventory...

Higher Order Necessary Conditions in Optimal Control Theory

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

Higher-Order Evidence and Moral Epistemology / Edition 1

Barnes & Noble
Current price: $190.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
Focus on Thinking: Engaging Educators Higher-Order Thinking
Loading Inventory...

Focus on Thinking: Engaging Educators Higher-Order Thinking

Barnes & Noble
Current price: $53.00
The Geometry of Higher-Order Hamilton Spaces: Applications to Hamiltonian Mechanics
Loading Inventory...

The Geometry of Higher-Order Hamilton Spaces: Applications to Hamiltonian Mechanics

Barnes & Noble
Current price: $109.99
Visualization and Processing of Higher Order Descriptors for Multi-Valued Data
Loading Inventory...

Visualization and Processing of Higher Order Descriptors for Multi-Valued Data

Barnes & Noble
Current price: $109.99
Artificial Higher Order Neural Networks for Economics and Business
Loading Inventory...

Artificial Higher Order Neural Networks for Economics and Business

Barnes & Noble
Current price: $180.00
Powered by Adeptmind