Information and Knowledge A Constructive Type-theoretical Approach /

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Primiero, Giuseppe
Yhteisötekijä:	SpringerLink (Online service)
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	englanti
Julkaistu:	Dordrecht : Springer Netherlands, 2008.
Sarja:	Logic, Epistemology, and the Unity of Science ; 10
Aiheet:	Philosophy (General). Genetic epistemology. Logic. Computer science. Logic, Symbolic and mathematical. Philosophy. Epistemology. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations.
Linkit:	http://dx.doi.org/10.1007/978-1-4020-6170-7
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Julkaistu 2008.

Hae kokoteksti

Elektroninen E-kirja