Information and Knowledge A Constructive Type-theoretical Approach /

Primiero, Giuseppe.

Information and Knowledge A Constructive Type-theoretical Approach / [electronic resource] : by Giuseppe Primiero. - Dordrecht : Springer Science + Business Media B.V, 2008. - 210 p. : ill., digital ; 24 cm. - Logic, Epistemology, and the Unity of Science ; 10 .

9781402061707 (electronic bk.) 9781402061691 (paper)


Computer science.
Genetic epistemology.
Logic, Symbolic and mathematical.

HM651 / .P75 2008

306.42

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library