Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero.
By: Primiero, Giuseppe.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Logic, Epistemology, and the Unity of Science ; 10.Publisher: Dordrecht : Springer Netherlands, 2008Description: digital.ISBN: 9781402061707.Subject(s): Philosophy (General) | Genetic epistemology | Logic | Computer science | Logic, Symbolic and mathematical | Philosophy | Logic | Philosophy | Epistemology | Mathematical Logic and Formal Languages | Mathematical Logic and FoundationsDDC classification: 160 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.