Identifier: 978-90-277-0305-7

Identifier Namespace
isbn
Identifier
978-90-277-0305-7


Identified Components with same Identifier:

Title Package Namespace
Combinators, λ-Terms and Proof Theory (Current) Springer Nature - Springer Book Archive - Humanities, Social Science and Law isbn
Combinators, λ-Terms and Proof Theory (Current) Springer Nature - Springer Book Archive - Humanities, Social Science and Law before 1990 isbn
Edit (Login required)
Date Created
2022-02-01 06:28:39
Last Updated
2022-02-01 06:28:39
UUID
ec27597d-bce4-4152-9610-aafb6c1a3a78


Loading