Identifier: 10.1007/978-94-015-9393-9

Identifier Namespace
title_id
Identifier
10.1007/978-94-015-9393-9


Identified Components with same Identifier:

Title Package Namespace
History and Philosophy of Constructive Type Theory (Current) Springer Nature - Springer Book Archive - Humanities, Social Science and Law title_id
History and Philosophy of Constructive Type Theory (Current) Springer Nature - Springer Book Archive - Humanities, Social Science and Law 2000-2004 title_id
Edit (Login required)
Date Created
2022-02-01 06:28:42
Last Updated
2022-02-01 06:28:42
UUID
0b538062-0c22-4d94-9991-4aa3b709bc05


Loading