Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
Brand: Elsevier Science
SKU: 8b20c7c9da95a828e4f4f411700326ac

1/1

Prices from

155.00

Featured

Description

Categorical Logic and Type Theory

Compare webshops (2)

Shop

Price

£ 155.00

To Shop

£ 155.00

To Shop

Description (0)

Categorical Logic and Type Theory

Brand	Elsevier Science
EAN	9780444539427

Cambridge University Press

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

Open Book Publishers

Representation Theory: A Categorical Approach

Categorical Closure Operators (Mathematics: Theory & Applications)

College Publications

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