Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Name: Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
Brand: OUP Oxford
SKU: 032b1da8cec024b7bfcf8a37fec7b2d5

1/1

Prices from

95.57

Featured

Description

Amazon Modal Homotopy Type Theory: The Prospect Of A New Logic For Philosophy Product Type: Abis Book Brand: Oxford University Press

Compare webshops (2)

Shop

Price

£ 95.57

To Shop

£ 95.57

To Shop

Description (1)

Modal Homotopy Type Theory: The Prospect Of A New Logic For Philosophy Product Type: Abis Book Brand: Oxford University Press

Brand	OUP Oxford
EAN	9780198853404

The Univalent Foundations Program

Homotopy Type Theory: Univalent Foundations of Mathematics

Cambridge University Press

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

OUP Oxford

The Logic of Information: A Theory Philosophy as Conceptual Design

Independently Published

Beyond the Black Box: Homotopy Type Theory and Architecture of Future AI