Categorical Logic and Type Theory

Prices from
155.00

Featured

COMPARE ALL WEBSHOPS (1)

Description

Amazon Pages: 784, Paperback, Elsevier Science
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (1)

Shop
Price
Amazon Logo
£ 155.00
To Shop
Description (1)

Pages: 784, Paperback, Elsevier Science

Product specifications

Brand Elsevier
EAN
  • 9780444539427

Cambridge University Press

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

£ 17.10
More Information More Info

Open Book Publishers

Representation Theory: A Categorical Approach

£ 20.95
More Information More Info

Categorical Closure Operators (Mathematics: Theory & Applications)

£ 42.74
More Information More Info

College Publications

Automated Reasoning in Higher order Logic: Set Comprehension and Extensionality Church's Type...

£ 21.50
More Information More Info
Featured Choice
£ 155.00
To Shop