Information and Knowledge A Constructive Type-theoretical Approach /

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Primiero, Giuseppe
Institution som forfatter:	SpringerLink (Online service)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Dordrecht : Springer Netherlands, 2008.
Serier:	Logic, Epistemology, and the Unity of Science ; 10
Fag:	Philosophy (General). Genetic epistemology. Logic. Computer science. Logic, Symbolic and mathematical. Philosophy. Epistemology. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations.
Online adgang:	http://dx.doi.org/10.1007/978-1-4020-6170-7
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Information and Knowledge A Constructive Type-theoretical Approach / af Primiero, Giuseppe

Udgivet 2008

Få fuldtekst

Electronisk eBog