Title:
Information and Knowledge A Constructive Type-theoretical Approach
Author:
Primiero, Giuseppe. author.
ISBN:
9781402061707
Physical Description:
online resource.
Series:
Logic, Epistemology, and the Unity of Science ; 10
Series Title:
Logic, Epistemology, and the Unity of Science ; 10
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-1-4020-6170-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 169711-2001 | ONLINE | Searching... | Searching... |