Information and Knowledge
Subtitle: A Constructive Type-theoretical Approach
Publisher: Springer; Primiero Giuseppe
Published: Nov 19, 2010
Format: paperback
Number of pages: 220
ISBN-13: 9789048175567
Notes: Source title: Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science)