- Date Created
- 2022-02-01 06:28:39
- Last Updated
- 2022-02-01 06:28:39
- UUID
- e79f4f37-69c6-44b6-a905-f4c801f8cb2a
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 |