Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
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
fb49a2da-401b-4a30-b26e-7d3c8c373aa9
Loading