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

by Giuseppe Primiero (Author)

• New

  Hardcover
  2007

  $192.68

  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.