Information and knowledge : a constructive type-theoretical approach
Finna-arvio
Information and knowledge : a constructive type-theoretical approach
Tallennettuna:
| Ulkoasu |
ix, 208 s. : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Dordrecht :
Springer,
cop. 2008.
|
| Sarja | Logic, epistemology and the unity of science, 10. |
| Aiheet | |
| Lisätiedot | by Giuseppe Primiero |
| ISBN |
978-1-4020-6169-1 1-4020-6169-2 |
| Hae kokoteksti | |