Information and Knowledge A Constructive Type-theoretical Approach /

Sparad:
Bibliografiska uppgifter
Huvudupphov: Primiero, Giuseppe
Institutionellt upphov: SpringerLink (Online service)
Materialtyp: Elektronisk E-bok
Språk:engelska
Utgiven: Dordrecht : Springer Netherlands, 2008.
Serie:Logic, Epistemology, and the Unity of Science ; 10
Ämnen:
Länkar:http://dx.doi.org/10.1007/978-1-4020-6170-7
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Liknande verk: Information and Knowledge