Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero.
Series: Logic, Epistemology, and the Unity of Science ; 10Publication details: Dordrecht : Springer Science + Business Media B.V, 2008.Description: 210 p. : ill., digital ; 24 cmISBN:- 9781402061707 (electronic bk.)
- 9781402061691 (paper)
- 306.42 22
- HM651 .P75 2008
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
