Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

Barcode: 09781108991957
Brand: Cambridge University Press
Best Priced
sold by Hive Books
Hive Books
£14.45
Visit Store
Hive Books
Hive Books
£14.45
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Cambridge University Press

Cambridge Primary Science Workbook 3 With Digital Access (1 Year)
Cambridge Primary Science Workbook 3 With Digital Access (1 Year)
from £8.50
Cambridge Topics In English Language Language Diversity And World Englishes
Cambridge Topics In English Language Language Diversity And World Englishes
from £17.75
Cambridge IGCSE And O Level Economics Coursebook
Cambridge IGCSE And O Level Economics Coursebook
from £32.25
The Body Image Book For Girls : Love Yourself And Grow Up Fearless
The Body Image Book For Girls : Love Yourself And Grow Up Fearless
from £9.29
Cambridge International AS & A Level Business Coursebook With Digital Access (2 Years)
Cambridge International AS & A Level Business Coursebook With Digital Access (2 Years)
from £45.85
GCSE English Literature For AQA An Inspector Calls Student Book
GCSE English Literature For AQA An Inspector Calls Student Book
from £12.95
Cambridge IGCSE And O Level Geography Coursebook With CD-ROM
Cambridge IGCSE And O Level Geography Coursebook With CD-ROM
from £31.89
Cambridge Primary Science Workbook 2 With Digital Access (1 Year)
Cambridge Primary Science Workbook 2 With Digital Access (1 Year)
from £8.50
Cambridge Primary English Learner's Book 2 With Digital Access (1 Year)
Cambridge Primary English Learner's Book 2 With Digital Access (1 Year)
from £16.95
Cambridge Primary Science Learner's Book 4 With Digital Access (1 Year)
Cambridge Primary Science Learner's Book 4 With Digital Access (1 Year)
from £16.50
GCSE English Literature For AQA A Christmas Carol Student Book
GCSE English Literature For AQA A Christmas Carol Student Book
from £12.95
Cambridge Global English Learner's Book 4 With Digital Access (1 Year) : For Cambridge Primary English As A Second Language
Cambridge Global English Learner's Book 4 With Digital Access (1 Year) : For Cambridge Primary English As A Second Language
from £16.50
Cambridge Reading Adventures Don't Give Up Yet! White Band
Cambridge Reading Adventures Don't Give Up Yet! White Band
from £4.75
Cambridge Grammar And Writing Skills Learner's Book 9
Cambridge Grammar And Writing Skills Learner's Book 9
from £13.50
Cambridge Global English Workbook 1 With Digital Access (1 Year) : For Cambridge Primary And Lower Secondary English As A Second Language
Cambridge Global English Workbook 1 With Digital Access (1 Year) : For Cambridge Primary And Lower Secondary English As A Second Language
from £10.25
Sophocles: Antigone
Sophocles: Antigone
from £11.75
Cambridge Primary English Teacher's Resource 4 With Digital Access
Cambridge Primary English Teacher's Resource 4 With Digital Access
from £77.75
Cambridge IGCSE<sup></sup> Arabic As A First Language Coursebook
Cambridge IGCSE<sup></sup> Arabic As A First Language Coursebook
from £36.69
Cambridge Primary Science Workbook 6 With Digital Access (1 Year)
Cambridge Primary Science Workbook 6 With Digital Access (1 Year)
from £8.50
Cambridge International AS & A Level Psychology Coursebook With Digital Access (2 Years)
Cambridge International AS & A Level Psychology Coursebook With Digital Access (2 Years)
from £53.75

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Higher-Order Logic and Type Theory
Higher-Order Logic and Type Theory
from £16.75
Intensional and Higher-Order Modal Logic
Intensional and Higher-Order Modal Logic
from £18.99
Programming with Higher-Order Logic
Programming with Higher-Order Logic
from £35.69
Programming with Higher-Order Logic
Programming with Higher-Order Logic
from £35.69
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
from £35.99
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
The Limits of Logic : Higher-Order Logic and the Lowenheim-Skolem Theorem
from £35.99
Properties and Propositions : The Metaphysics of Higher-Order Logic
Properties and Propositions : The Metaphysics of Higher-Order Logic
from £21.24
Properties and Propositions : The Metaphysics of Higher-Order Logic
Properties and Propositions : The Metaphysics of Higher-Order Logic
from £21.24
Categorical Logic and Type Theory
Categorical Logic and Type Theory
from £127.50
Solving Higher-Order Equations : From Logic to Programming
Solving Higher-Order Equations : From Logic to Programming
from £76.08
Intensional and higher-order modal logic : With applications to Montague semantics
Intensional and higher-order modal logic : With applications to Montague semantics
from £137.75
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
from £22.94
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
from £42.49
Type-2 Fuzzy Logic: Theory and Applications
Type-2 Fuzzy Logic: Theory and Applications
from £76.08
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
from £114.00
Higher Order Asymptotic Theory for Time Series Analysis
Higher Order Asymptotic Theory for Time Series Analysis
from £38.24
Theory of a Higher-Order Sturm-Liouville Equation
Theory of a Higher-Order Sturm-Liouville Equation
from £27.19
Granular Computing and Intelligent Systems : Design with Information Granules of Higher Order and Higher Type
Granular Computing and Intelligent Systems : Design with Information Granules of Higher Order and Higher Type
from £110.08
Logic : Inquiry, Argument, and Order
Logic : Inquiry, Argument, and Order
from £94.31
Logic : Inquiry, Argument, and Order
Logic : Inquiry, Argument, and Order
from £36.51