Categorical Logic and Type Theory

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

1/1

Prices from

155.00

Featured

	£ 155.00	To Shop
	£ 155.00	To Shop

Description

Amazon Pages: 784, Paperback, Elsevier Science

Compare webshops (2)

Shop

Price

£ 155.00

To Shop

£ 155.00

To Shop

Description (1)

Pages: 784, Paperback, Elsevier Science

Brand	Elsevier
EAN	9780444539427

Prices were last updated on: 06-06-2026, 05:15

Elsevier

Categorical Logic and Type Theory: Volume 141 (Studies in the Foundations of Mathematics, 141)

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)

Featured Choice

£ 155.00

To Shop