Title:
Treatise on Intuitionistic Type Theory
Author:
Granström, Johan Georg. author.
ISBN:
9789400717367
Physical Description:
XIV, 198 p. online resource.
Series:
Logic, Epistemology, and the Unity of Science ; 22
Series Title:
Logic, Epistemology, and the Unity of Science ; 22
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-94-007-1736-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 206159-2001 | ONLINE | Searching... | Searching... |