- Date Created
- 2022-02-01 06:28:39
- Last Updated
- 2022-02-01 06:28:39
- UUID
- 3183b189-18fe-47f3-b4a7-a5b8d1ae8c5e
Identifier: 10.1007/978-94-010-2913-1
- Identifier Namespace
- title_id
- Identifier
- 10.1007/978-94-010-2913-1
Identified Components with same Identifier:
Title | Package | Namespace |
---|---|---|
Combinators, λ-Terms and Proof Theory (Current) | Springer Nature - Springer Book Archive - Humanities, Social Science and Law | title_id |
Combinators, λ-Terms and Proof Theory (Current) | Springer Nature - Springer Book Archive - Humanities, Social Science and Law before 1990 | title_id |