Placeholder text

Type Theory and Formal Proof: An Introduction

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