Placeholder text
Type Theory and Formal Proof: An Introduction
0 - Default Title
Product details
Edition:
1
Number of Pages:
466
Release Date:
2014-11-06
Publication Date:
2014-11-06
Publisher:
Cambridge University Press
Languages:
Published:
English,
Original:
English
ISBN10:
110703650X
Weight:
971 g
Currently sold out