Intuitionistic Type Theory
Share:
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
- Format:
- Pages:91 pages
- Publication:
- Publisher:
- Edition:
- Language:
- ISBN10:8870881059
- ISBN13:9788870881059
- kindle Asin:8870881059
About Author
