Giuseppe Primiero
Springer Netherlands
0e druk, 2010
9789048175567
Information and Knowledge
A Constructive Type-theoretical Approach
Specificaties
Paperback, 208 blz.
|
Engels
Springer Netherlands |
0e druk, 2010
ISBN13: 9789048175567
Rubricering
Juridisch
:
Onderdeel van serie
Logic, Epistemology, and the Unity of Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9789048175567
Taal:Engels
Bindwijze:paperback
Aantal pagina's:208
Uitgever:Springer Netherlands
Druk:0
Hoofdrubriek:Mens en maatschappij
Inhoudsopgave
Constructive Type Theory: Foundation and Formalization.- Analyticity and Information.- Formal Representation of the Notion of Information.- Constructive Philosophy of Information.
Anderen die dit kochten, kochten ook
-
Gert Biesta€ 13,99 -
Japke-d. Bouma€ 16,99
-
Pim Blom€ 23,50
-
Sandra van Thiel€ 40,50
-
Genieke Hertoghs€ 34,50
-
Tom van der Meer€ 21,99
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht