Per Martin-Lof
Intuitionistic Type Theory
Per Martin-Lof · 1985
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 1985
- Publisher
- Prometheus Books
- Editions
- 1
- Pages
- 91
- ISBN
- 9788870881059
Data source: Wikidata