Information and Knowledge: A Constructive Type-theoretical Approach

Information and Knowledge: A Constructive Type-theoretical Approach

by Giuseppe Primiero

Paperback(Softcover reprint of hardcover 1st ed. 2008)

$179.99
View All Available Formats & Editions
Choose Expedited Shipping at checkout for guaranteed delivery by Friday, March 29

Product Details

ISBN-13: 9789048175567
Publisher: Springer Netherlands
Publication date: 11/19/2010
Series: Logic, Epistemology, and the Unity of Science , #10
Edition description: Softcover reprint of hardcover 1st ed. 2008
Pages: 208
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Constructive Type Theory: Foundation and Formalization.- Analyticity and Information.- Formal Representation of the Notion of Information.- Constructive Philosophy of Information.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews