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

Prices from
20.86

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 564, Paperback, College Publications
Description Description
Product Specifications Product specifications
Price History Price History
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

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

Pages: 564, Paperback, College Publications

Product specifications

Brand College Publications
EAN
  • 9781904987574

Price History

Prices were last updated on:

Cambridge University Press

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

£ 16.56
Compare 2 stores 2 stores

College Publications

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

£ 16.56
Compare 2 stores 2 stores

Cambridge University Press

Handbook of Practical Logic and Automated Reasoning

£ 103.23
More Information More Info

College Publications

Reasoning in Simple Type Theory: Festschrift Honor of Peter B. Andrews on...

£ 20.86
Compare 2 stores 2 stores
Featured Choice
£ 20.86
To Shop