Information and knowledge a constructive type-theoretical approach /
"This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual...
| Main Author: | Primiero, Giuseppe. |
|---|---|
| Other Authors: | SpringerLink (Online Service) |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht, Netherlands :
Springer,
©2008.
|
| Physical Description: |
1 online resource (ix, 208 pages) : illustrations. |
| Series: |
Logic, epistemology and the unity of science ;
v. 10. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |