Editions of Type Theory and Formal Proof
Filters
Type Theory and Formal Proof
466 pages
English language
Published 2014 by Cambridge University Press.
- ISBN:
- 978-1-107-03650-5
Copied ISBN!
Type Theory and Formal Proof
English language
Published 2014 by Cambridge University Press.
- ISBN:
- 978-1-316-05634-9
Copied ISBN!
Type Theory and Formal Proof
English language
Published 2014 by Cambridge University Press.
- ISBN:
- 978-1-139-56772-5
Copied ISBN!
Can't find the edition you're looking for?