Information and knowledge: a constructive type-theoretical approach
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer
2008
|
| Schriftenreihe: | Logic, epistemology, and the unity of science
10 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 208 S. 235 mm x 155 mm |
| ISBN: | 9781402061691 1402061692 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023110596 | ||
| 003 | DE-604 | ||
| 005 | 20080811 | ||
| 007 | t | ||
| 008 | 080201s2008 gw |||| 00||| eng d | ||
| 015 | |a 07,N15,0005 |2 dnb | ||
| 016 | 7 | |a 983504067 |2 DE-101 | |
| 020 | |a 9781402061691 |c hbk. |9 978-1-4020-6169-1 | ||
| 020 | |a 1402061692 |9 1-4020-6169-2 | ||
| 024 | 3 | |a 9781402061691 | |
| 028 | 5 | 2 | |a 12023653 |
| 035 | |a (OCoLC)237211492 | ||
| 035 | |a (DE-599)DNB983504067 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-12 |a DE-29 | ||
| 084 | |a CC 3200 |0 (DE-625)17614: |2 rvk | ||
| 084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
| 084 | |a 000 |2 sdnb | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Primiero, Giuseppe |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Information and knowledge |b a constructive type-theoretical approach |c by Giuseppe Primiero |
| 264 | 1 | |a Dordrecht |b Springer |c 2008 | |
| 300 | |a IX, 208 S. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Logic, epistemology, and the unity of science |v 10 | |
| 650 | 0 | 7 | |a Erkenntnis |0 (DE-588)4015286-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Information |0 (DE-588)4026899-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Information |0 (DE-588)4026899-8 |D s |
| 689 | 0 | 1 | |a Erkenntnis |0 (DE-588)4015286-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Logic, epistemology, and the unity of science |v 10 |w (DE-604)BV019709027 |9 10 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016313195&sequence=000006&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016313195 | ||
Datensatz im Suchindex
| _version_ | 1804137373359931392 |
|---|---|
| adam_text | INFORMATION AND KNOWLEDGE A CONSTRUCTIVE TYPE-THEORETICAL APPROACH BY
GIUSEPPE PRIMIERO GHENT UNIVERSITY, BELGIUM FYJ SPRINGER CONTENTS
INTRODUCTION 1 1 CONSTRUCTIVE TYPE THEORY: FOUNDATION AND FORMALIZATION
7 1.1 PHILOSOPHICAL FOUNDATION 7 1.2 BASIC EPISTEMIC NOTIONS 8 1.3 TYPES
11 1.3.1 CONSTRUCTIVE NOTION OF TYPE 11 1.3.2 DEFINITION 16 1.3.3
CONCEPTUAL PRIORITY 18 1.3.4 METHOD 20 1.4 IDENTITY 25 1.4.1
DEFINITIONAL IDENTITY VS. SYNTACTICALLY INDUCED IDENTITY 27 1.4.2
IDENTITY AS THEORETICAL NOTION 29 1.5 FORMAL ANALYSIS OF TYPES AND
JUDGEMENTS 31 1.5.1 FORMALIZING THE FORMS OF JUDGEMENT 31 1.5.2
FORMALIZING EQUALITY RULES 33 1.5.3 CATEGORIES 34 1.5.4 TYPE SET 37
1.5.5 TYPE PROP 38 1.5.6 THE NOTION OF PROPOSITION FOR CTT 40 1.5.7
PROPOSITIONS AS SETS 46 1.6 DEPENDENT OBJECTS: HYPOTHETICAL JUDGEMENTS
47 1.6.1 JUDGEMENTS DEPENDING ON ONE ASSUMPTION 50 1.6.2 JUDGEMENTS
DEPENDING ON MORE ASSUMPTIONS . . . . 51 1.7 INTRODUCING FUNCTIONS 52
1.8 COMPUTATIONAL RULES 54 1.8.1 THE SYSTEM OF RULES AND SOME EXAMPLES
FOR SET AND PROP 55 1.8.2 RULES FOR THE TYPE FUNC 57 1.9 INTRODUCING
INFORMATION 60 VN VIII CONTENTS 2 ANALYTICITY AND INFORMATION 63 2.1 AT
THE ORIGIN OF THE PROBLEM 64 2.1.1 THE MODERN ORIGIN OF ANALYTICITY:
KANT 64 2.1.2 ELEMENTS OF THE BOLZANIAN DOCTRINE OF SCIENCE ... 70 2.1.3
A NEW CONCEPT OF ANALYTICITY (AGAINST THE CRITICAL VIEW) 73 2.1.4
ANALYTICITY IN QUESTION: THE POSSIBILITY OF KNOWLEDGE 77 2.2 ANALYSIS
AND SYNTHESIS 84 2.2.1 ACT AND CONTENT: A FOUNDATIONAL DISTINCTION . . .
. 87 2.2.2 CONTENT AND MEANING 88 2.2.3 ANALYTICITY RECONSIDERED: FROM
MEANING TO INFORMATION 93 2.2.4 REJECTING THE ANALYTIC/SYNTHETIC
DISTINCTION: QUINE 95 2.2.5 TOWARDS A CONSTRUCTIVE NOTION OF ANALYTICITY
. . . . 99 2.3 INFORMATIVENESS OF DERIVATIONS 101 2.3.1 INDIVIDUALS AND
DEGREES: COMPUTING INFORMATION OF SENTENCES 103 2.4 DIFFERENT NOTIONS OF
INFORMATION 109 2.4.1 CONCEPTUAL VS. CONTENTUAL INFORMATION ILL 2.4.2
SURFACE INFORMATION: PROBABILITY AND POSSIBLE WORLDS 111 2.4.3
INCREASING LOGICAL INFORMATION: DEPTH INFORMATION . 113 2.5 BASIC
ELEMENTS OF A KNOWLEDGE SYSTEM 115 2.5.1 RECONSIDERING THE SEMANTIC
APPROACH 115 2.5.2 RECOLLECTING PERSPECTIVES ON INFORMATION 119 2.5.3
KNOWLEDGE: WHAT, THAT, HOW 120 3 FORMAL REPRESENTATION OF THE NOTION OF
INFORMATION 125 3.1 CTT AS THE GENERAL FRAMEWORK: INFORMAL* DESCRIPTION
. . . 125 3.1.1 FORMALIZATION OF KNOWLEDGE AND INFORMATION . . . . 129
3.1.2 CONTEXTS: FORMAL EXPLANATION 130 3.2 REPRESENTATION OF KNOWLEDGE
AND INFORMATION 135 3.2.1 PRESUPPOSITIONS 136 3.2.2 ASSUMPTIONS 139
3.2.3 TYPES AND MEANING DECLARATIONS 141 3.2.4 TRUTH AND THE ROLE OF
ASSUMPTIONS 144 3.2.5 DEFINING INFORMATION 148 3.3 CONTEXTS AS
CONSTRUCTIVE POSSIBLE WORLDS 150 3.3.1 INTRODUCING ORDERINGS: KRIPKE
MODELS 152 3.4 THE KNOWLEDGE FRAMEWORK 154 3.4.1 UPDATING INFORMATION,
EXTENDING KNOWLEDGE . . . . 154 3.4.2 THE STRUCTURE OF KNOWLEDGE 158 4
CONSTRUCTIVE PHILOSOPHY OF INFORMATION 165 4.1 AN EXTENSION FOR THE
CONSTRUCTIVE EPISTEMOLOGY 165 CONTENTS IX 4.2 INFORMATION AND
MATHEMATICS * 168 4.2.1 FROM ANALYTIC METHOD TO THE ANALYTICITY OF LOGIC
. 170 4.3 THE ROLE OF CONSTRUCTIONS 171 4.4 TYPES AND CATEGORIES OF
INFORMATION 175 4.4.1 OVERVIEW ON PRESUPPOSITIONS THEORY AND DYNAMIC
LOGICS 175 4.4.2 DECLARING AND EXPLAINING MEANINGS 179 4.4.3 MEANING AND
PREDICATION 184 4.5 INFORMATION AND LOGICAL KNOWLEDGE 188 4.6 FINAL
EPISTEMIC FOUNDATION FOR INFORMATION 191 BIBLIOGRAPHY 195 INDEX 207
|
| adam_txt |
INFORMATION AND KNOWLEDGE A CONSTRUCTIVE TYPE-THEORETICAL APPROACH BY
GIUSEPPE PRIMIERO GHENT UNIVERSITY, BELGIUM FYJ SPRINGER CONTENTS
INTRODUCTION 1 1 CONSTRUCTIVE TYPE THEORY: FOUNDATION AND FORMALIZATION
7 1.1 PHILOSOPHICAL FOUNDATION 7 1.2 BASIC EPISTEMIC NOTIONS 8 1.3 TYPES
11 1.3.1 CONSTRUCTIVE NOTION OF TYPE 11 1.3.2 DEFINITION 16 1.3.3
CONCEPTUAL PRIORITY 18 1.3.4 METHOD 20 1.4 IDENTITY 25 1.4.1
DEFINITIONAL IDENTITY VS. SYNTACTICALLY INDUCED IDENTITY 27 1.4.2
IDENTITY AS THEORETICAL NOTION 29 1.5 FORMAL ANALYSIS OF TYPES AND
JUDGEMENTS 31 1.5.1 FORMALIZING THE FORMS OF JUDGEMENT 31 1.5.2
FORMALIZING EQUALITY RULES 33 1.5.3 CATEGORIES 34 1.5.4 TYPE SET 37
1.5.5 TYPE PROP 38 1.5.6 THE NOTION OF PROPOSITION FOR CTT 40 1.5.7
PROPOSITIONS AS SETS 46 1.6 DEPENDENT OBJECTS: HYPOTHETICAL JUDGEMENTS
47 1.6.1 JUDGEMENTS DEPENDING ON ONE ASSUMPTION 50 1.6.2 JUDGEMENTS
DEPENDING ON MORE ASSUMPTIONS . . . . 51 1.7 INTRODUCING FUNCTIONS 52
1.8 COMPUTATIONAL RULES 54 1.8.1 THE SYSTEM OF RULES AND SOME EXAMPLES
FOR SET AND PROP 55 1.8.2 RULES FOR THE TYPE FUNC 57 1.9 INTRODUCING
INFORMATION 60 VN VIII CONTENTS 2 ANALYTICITY AND INFORMATION 63 2.1 AT
THE ORIGIN OF THE PROBLEM 64 2.1.1 THE MODERN ORIGIN OF ANALYTICITY:
KANT 64 2.1.2 ELEMENTS OF THE BOLZANIAN DOCTRINE OF SCIENCE . 70 2.1.3
A NEW CONCEPT OF ANALYTICITY (AGAINST THE CRITICAL VIEW) 73 2.1.4
ANALYTICITY IN QUESTION: THE POSSIBILITY OF KNOWLEDGE 77 2.2 ANALYSIS
AND SYNTHESIS 84 2.2.1 ACT AND CONTENT: A FOUNDATIONAL DISTINCTION . . .
. 87 2.2.2 CONTENT AND MEANING 88 2.2.3 ANALYTICITY RECONSIDERED: FROM
MEANING TO INFORMATION 93 2.2.4 REJECTING THE ANALYTIC/SYNTHETIC
DISTINCTION: QUINE 95 2.2.5 TOWARDS A CONSTRUCTIVE NOTION OF ANALYTICITY
. . . . 99 2.3 INFORMATIVENESS OF DERIVATIONS 101 2.3.1 INDIVIDUALS AND
DEGREES: COMPUTING INFORMATION OF SENTENCES 103 2.4 DIFFERENT NOTIONS OF
INFORMATION 109 2.4.1 CONCEPTUAL VS. CONTENTUAL INFORMATION ILL 2.4.2
SURFACE INFORMATION: PROBABILITY AND POSSIBLE WORLDS 111 2.4.3
INCREASING LOGICAL INFORMATION: DEPTH INFORMATION . 113 2.5 BASIC
ELEMENTS OF A KNOWLEDGE SYSTEM 115 2.5.1 RECONSIDERING THE SEMANTIC
APPROACH 115 2.5.2 RECOLLECTING PERSPECTIVES ON INFORMATION 119 2.5.3
KNOWLEDGE: WHAT, THAT, HOW 120 3 FORMAL REPRESENTATION OF THE NOTION OF
INFORMATION 125 3.1 CTT AS THE GENERAL FRAMEWORK: INFORMAL* DESCRIPTION
. . . 125 3.1.1 FORMALIZATION OF KNOWLEDGE AND INFORMATION . . . . 129
3.1.2 CONTEXTS: FORMAL EXPLANATION 130 3.2 REPRESENTATION OF KNOWLEDGE
AND INFORMATION 135 3.2.1 PRESUPPOSITIONS 136 3.2.2 ASSUMPTIONS 139
3.2.3 TYPES AND MEANING DECLARATIONS 141 3.2.4 TRUTH AND THE ROLE OF
ASSUMPTIONS 144 3.2.5 DEFINING INFORMATION 148 3.3 CONTEXTS AS
CONSTRUCTIVE POSSIBLE WORLDS 150 3.3.1 INTRODUCING ORDERINGS: KRIPKE
MODELS 152 3.4 THE KNOWLEDGE FRAMEWORK 154 3.4.1 UPDATING INFORMATION,
EXTENDING KNOWLEDGE . . . . 154 3.4.2 THE STRUCTURE OF KNOWLEDGE 158 4
CONSTRUCTIVE PHILOSOPHY OF INFORMATION 165 4.1 AN EXTENSION FOR THE
CONSTRUCTIVE EPISTEMOLOGY 165 CONTENTS IX 4.2 INFORMATION AND
MATHEMATICS * 168 4.2.1 FROM ANALYTIC METHOD TO THE ANALYTICITY OF LOGIC
. 170 4.3 THE ROLE OF CONSTRUCTIONS 171 4.4 TYPES AND CATEGORIES OF
INFORMATION 175 4.4.1 OVERVIEW ON PRESUPPOSITIONS THEORY AND DYNAMIC
LOGICS 175 4.4.2 DECLARING AND EXPLAINING MEANINGS 179 4.4.3 MEANING AND
PREDICATION 184 4.5 INFORMATION AND LOGICAL KNOWLEDGE 188 4.6 FINAL
EPISTEMIC FOUNDATION FOR INFORMATION 191 BIBLIOGRAPHY 195 INDEX 207 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Primiero, Giuseppe |
| author_facet | Primiero, Giuseppe |
| author_role | aut |
| author_sort | Primiero, Giuseppe |
| author_variant | g p gp |
| building | Verbundindex |
| bvnumber | BV023110596 |
| classification_rvk | CC 3200 CC 4400 |
| ctrlnum | (OCoLC)237211492 (DE-599)DNB983504067 |
| discipline | Allgemeines Philosophie |
| discipline_str_mv | Allgemeines Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01744nam a2200469 cb4500</leader><controlfield tag="001">BV023110596</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080811 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080201s2008 gw |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N15,0005</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983504067</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402061691</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-1-4020-6169-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402061692</subfield><subfield code="9">1-4020-6169-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781402061691</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12023653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)237211492</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB983504067</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3200</subfield><subfield code="0">(DE-625)17614:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4400</subfield><subfield code="0">(DE-625)17626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">000</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Primiero, Giuseppe</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Information and knowledge</subfield><subfield code="b">a constructive type-theoretical approach</subfield><subfield code="c">by Giuseppe Primiero</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 208 S.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Logic, epistemology, and the unity of science</subfield><subfield code="v">10</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erkenntnis</subfield><subfield code="0">(DE-588)4015286-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Information</subfield><subfield code="0">(DE-588)4026899-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Information</subfield><subfield code="0">(DE-588)4026899-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Erkenntnis</subfield><subfield code="0">(DE-588)4015286-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logic, epistemology, and the unity of science</subfield><subfield code="v">10</subfield><subfield code="w">(DE-604)BV019709027</subfield><subfield code="9">10</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016313195&sequence=000006&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016313195</subfield></datafield></record></collection> |
| id | DE-604.BV023110596 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T19:48:11Z |
| indexdate | 2024-07-09T21:11:16Z |
| institution | BVB |
| isbn | 9781402061691 1402061692 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016313195 |
| oclc_num | 237211492 |
| open_access_boolean | |
| owner | DE-12 DE-29 |
| owner_facet | DE-12 DE-29 |
| physical | IX, 208 S. 235 mm x 155 mm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Logic, epistemology, and the unity of science |
| series2 | Logic, epistemology, and the unity of science |
| spelling | Primiero, Giuseppe Verfasser aut Information and knowledge a constructive type-theoretical approach by Giuseppe Primiero Dordrecht Springer 2008 IX, 208 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Logic, epistemology, and the unity of science 10 Erkenntnis (DE-588)4015286-8 gnd rswk-swf Information (DE-588)4026899-8 gnd rswk-swf Information (DE-588)4026899-8 s Erkenntnis (DE-588)4015286-8 s DE-604 Logic, epistemology, and the unity of science 10 (DE-604)BV019709027 10 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016313195&sequence=000006&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Primiero, Giuseppe Information and knowledge a constructive type-theoretical approach Logic, epistemology, and the unity of science Erkenntnis (DE-588)4015286-8 gnd Information (DE-588)4026899-8 gnd |
| subject_GND | (DE-588)4015286-8 (DE-588)4026899-8 |
| title | Information and knowledge a constructive type-theoretical approach |
| title_auth | Information and knowledge a constructive type-theoretical approach |
| title_exact_search | Information and knowledge a constructive type-theoretical approach |
| title_exact_search_txtP | Information and knowledge a constructive type-theoretical approach |
| title_full | Information and knowledge a constructive type-theoretical approach by Giuseppe Primiero |
| title_fullStr | Information and knowledge a constructive type-theoretical approach by Giuseppe Primiero |
| title_full_unstemmed | Information and knowledge a constructive type-theoretical approach by Giuseppe Primiero |
| title_short | Information and knowledge |
| title_sort | information and knowledge a constructive type theoretical approach |
| title_sub | a constructive type-theoretical approach |
| topic | Erkenntnis (DE-588)4015286-8 gnd Information (DE-588)4026899-8 gnd |
| topic_facet | Erkenntnis Information |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016313195&sequence=000006&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV019709027 |
| work_keys_str_mv | AT primierogiuseppe informationandknowledgeaconstructivetypetheoreticalapproach |