Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science)
Hardcover: 210 pages
Publisher: Springer (December 4, 2007)
Language: English
ISBN-10: 1402061692
Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science)
Hardcover: 210 pages
Publisher: Springer (December 4, 2007)
Language: English
ISBN-10: 1402061692

