Primiero, G. (2008). Information and Knowledge: A Constructive Type-theoretical Approach. Springer Netherlands. https://doi.org/10.1007/978-1-4020-6170-7
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Primiero, Giuseppe. Information and Knowledge: A Constructive Type-theoretical Approach. Dordrecht: Springer Netherlands, 2008. https://doi.org/10.1007/978-1-4020-6170-7.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Primiero, Giuseppe. Information and Knowledge: A Constructive Type-theoretical Approach. Springer Netherlands, 2008. https://doi.org/10.1007/978-1-4020-6170-7.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.