Automated Reasoning in Higher order Logic: Set Comprehension and Extensionality Church's Type Theory (Studies Logic, . Logic Cognitive Systems)

Prices from
21.50

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 564, Paperback, College Publications
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 21.50
To Shop
Amazon Marketplace Logo
£ 21.50
To Shop
Description (1)

Pages: 564, Paperback, College Publications

Product specifications

Brand College Publications
EAN
  • 9781904987574

Cambridge University Press

Higher Order Logic and Type Theory (Elements in Philosophy Logic)

£ 17.10
Compare 2 stores 2 stores

College Publications

Set Theory (Studies in Logic: Mathematical Logic and Foundations)

£ 17.85
Compare 2 stores 2 stores

Elsevier

Coherent Systems (Studies in Logic and Practical Reasoning Book 2)

£ 104.50
More Information More Info

Cambridge University Press

Handbook of Practical Logic and Automated Reasoning

£ 103.23
Compare 2 stores 2 stores
Featured Choice
£ 21.50
To Shop