Information and Knowledge: A Constructive Type-theoretical Approach - Logic, Epistemology, and the Unity of Science - Giuseppe Primiero - Books - Springer - 9789048175567 - November 17, 2010
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 Softcover reprint of hardcover 1st ed. 2008 edition

Price
$ 178.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 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     Paperback Book   (Book with soft cover and glued back)
Released November 17, 2010
ISBN13 9789048175567
Publishers Springer
Pages 208
Dimensions 155 × 235 × 11 mm   ·   312 g
Language English  

More by Giuseppe Primiero

Show all

Mere med samme udgiver