Title: History and Philosophy of Constructive Type Theory
- Title
- History and Philosophy of Constructive Type Theory
- Platform
- SpringerLink
- Status
- Current
- Publication Type
- Monograph
- Medium
- Empty
- Language
-
- First Author
- Sommaruga
- First Editor
- Empty
- Publisher Name
- Springer Netherlands
- Date First in Print
- 2000-01-01
- Date First Online
- 2000-01-01
- Access Start Date
- Empty
- Access End Date
- Empty
- Volume Number
- 290
- Edition Statement
- 1
- Access Type
- Paid
- Note
- Empty
- Last Changed External
- Empty
- Date Created
- 2022-02-01 06:37:49
- Last Updated
- 2024-09-09 21:47:23
- UUID
- 812d2958-1b1f-46db-ac90-42ed041ef9de
Identifier Namespace Name | Identifier Namespace Value | Identifier |
---|---|---|
eISBN | eisbn | 978-94-015-9393-9 |
ISBN | isbn | 978-0-7923-6180-0 |
Title_ID | title_id | 10.1007/978-94-015-9393-9 |
- Subject Area
- Empty
Dewey Decimal Classification |
---|
- Series
- Empty
- Parent publication title ID
- 6607
- Superseding publication title ID
- Empty
- Preceding publication title ID
- Empty
- Open Access
- Empty
Price Type | Value | Currency |
---|