TY  - GEN
TY  - GEN
T1  - Information and knowledge : a constructive type-theoretical approach
T2  - Logic, epistemology and the unity of science
A1  - Primiero, Giuseppe
LA  - eng
PP  - Dordrecht
PB  - Springer
YR  - 2008
UL  - https://kansalliskirjasto.finna.fi/Record/vaari.2098615
SN  - 978-1-4020-6169-1
SN  - 1-4020-6169-2
KW  - Knowledge, Theory of.
KW  - Type theory.
KW  - tyyppiteoria
ER  -