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. It presents a newly formulated and conceptually
developed presentation of the Problem of Analyticity, and a new
interesting perspective on the constructive interpretation of
knowledge processes.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!