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

Prices from
21.01

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sort by:

£ 21.01

£ 21.01

Description (0)

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

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 Science

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

£ 104.50
More Information More Info

College Publications

Intuitionistic Set Theory (Studies in Logic)

£ 11.50
Compare 2 stores 2 stores
Featured Choice
£ 21.01
To Shop