Identifier: 978-94-010-2913-1

Identifier Namespace
eisbn
Identifier
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 eisbn
Combinators, λ-Terms and Proof Theory (Current) Springer Nature - Springer Book Archive - Humanities, Social Science and Law before 1990 eisbn
Edit (Login required)
Date Created
2022-02-01 06:28:39
Last Updated
2022-02-01 06:28:39
UUID
973d718b-bb83-41ac-97a2-b418d87d9401


Loading