- Date Created
- 2022-01-18 13:02:12
- Last Updated
- 2022-01-18 13:02:12
- UUID
- adef4651-3fe4-466d-911b-11062f8f9e69
Identifier: 10.1007/1-4020-2335-9
- Identifier Namespace
- title_id
- Identifier
- 10.1007/1-4020-2335-9
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
A Modern Perspective on Type Theory (Current) | Springer Nature - Springer Mathematics and Statistics eBooks 2005 English International | title_id |