Information and knowledge : a constructive type-theoretical approach
Finna-recension
Information and knowledge : a constructive type-theoretical approach
Sparad:
| Fysisk beskrivning |
ix, 208 s. : kuvitettu ; 25 cm |
|---|---|
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Förlag |
Dordrecht :
Springer,
cop. 2008.
|
| Serie | Logic, epistemology and the unity of science, 10. |
| Ämnen | |
| Mer information | by Giuseppe Primiero |
| ISBN |
978-1-4020-6169-1 1-4020-6169-2 |
| Hämta fulltext | |