Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Extensional Constructs in Intensional Type Theory
Oct 09, 2011, Springer
paperback
1447109643 9781447109648
|
zzzz
Libraries near you:
WorldCat
|
2
Extensional Constructs in Intensional Type Theory
2011, Springer London, Limited
in English
1447112431 9781447112433
|
zzzz
Libraries near you:
WorldCat
|
3
Extensional Constructs in Intensional Type Theory
1997, Springer London
electronic resource /
in English
1447109635 9781447109631
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?October 6, 2021 | Edited by ImportBot | import existing book |
June 30, 2019 | Created by MARC Bot | import new book |