A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
Full Title: | A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29) |
---|---|
ISBN: | 1402023340 |
ISBN13: | 9781402023347 |
List Price: | USD $199.99 |
Authors: |
Kamareddine, F.D. Laan, T. Nederpelt, Rob |
Related ISBNs