Categorical Logic and Type Theory

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

1/1

Prices from

155.00

Description

Categorical Logic and Type Theory

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 155.00

Description (0)

Categorical Logic and Type Theory

Brand	Elsevier Science
EAN	9780444539427

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

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

Future Logic: Categorical and Conditional Deduc. Sion

Representation Theory: A Categorical Approach