Information and knowledge : a constructive type-theoretical approach /
Hlavní autor: |
Primiero, Giuseppe
(
Autor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Dordrecht :
Springer,
[2008].
|
Edice: |
Logic, epistemology, and the unity of science (Springer)
|
Předmět: | |
Externí odkaz: |
Obsah knihy |