Information and Knowledge: A Constructive Type-theoretical Approach - Logic, Epistemology, and the Unity of Science - Giuseppe Primiero - Books - Springer-Verlag New York Inc. - 9781402061691 - December 4, 2007
In case cover and title do not match, the title is correct

Information and Knowledge: A Constructive Type-theoretical Approach - Logic, Epistemology, and the Unity of Science 2008 edition

Price
$ 205.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 25 - Jul 7
Add to your iMusic wish list

Also available as:

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.


217 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 4, 2007
ISBN13 9781402061691
Publishers Springer-Verlag New York Inc.
Pages 208
Dimensions 155 × 235 × 14 mm   ·   485 g
Language English  

Mere med samme udgiver