Information and Knowledge: A Constructive Type-theoretical Approach
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2008
|
| Series: | Logic, Epistemology, and the Unity of Science
10 |
| Subjects: | |
| Online Access: | UBG01 UBR01 Volltext |
| Physical Description: | 1 Online-Ressource |
| ISBN: | 9781402061707 |
| DOI: | 10.1007/978-1-4020-6170-7 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040319808 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 120719s2008 |||| o||u| ||||||eng d | ||
| 020 | |a 9781402061707 |9 978-1-4020-6170-7 | ||
| 024 | 7 | |a 10.1007/978-1-4020-6170-7 |2 doi | |
| 035 | |a (OCoLC)759797227 | ||
| 035 | |a (DE-599)BVBBV040319808 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-473 | ||
| 245 | 1 | 0 | |a Information and Knowledge |b A Constructive Type-theoretical Approach |c by Giuseppe Primiero |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2008 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Logic, Epistemology, and the Unity of Science |v 10 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Genetic epistemology | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Epistemology | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 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 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Primiero, Giuseppe |e Sonstige |4 oth | |
| 710 | 2 | |a SpringerLink (Online service) |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4020-6170-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SHU | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025174442 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-6170-7 |l UBG01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4020-6170-7 |l UBR01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804149345975533568 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV040319808 |
| collection | ZDB-2-SHU |
| ctrlnum | (OCoLC)759797227 (DE-599)BVBBV040319808 |
| doi_str_mv | 10.1007/978-1-4020-6170-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01969nmm a2200541zc 4500</leader><controlfield tag="001">BV040319808</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">120719s2008 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402061707</subfield><subfield code="9">978-1-4020-6170-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4020-6170-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)759797227</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040319808</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-473</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 Netherlands</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logic, Epistemology, and the Unity of Science</subfield><subfield code="v">10</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Genetic epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Primiero, Giuseppe</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">SpringerLink (Online service)</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-6170-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025174442</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-6170-7</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4020-6170-7</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV040319808 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:21:34Z |
| institution | BVB |
| isbn | 9781402061707 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025174442 |
| oclc_num | 759797227 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| owner_facet | DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-SHU |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Logic, Epistemology, and the Unity of Science |
| spelling | Information and Knowledge A Constructive Type-theoretical Approach by Giuseppe Primiero Dordrecht Springer Netherlands 2008 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Logic, Epistemology, and the Unity of Science 10 Informatik Philosophie Philosophy (General) Genetic epistemology Logic Computer science Logic, Symbolic and mathematical Philosophy Epistemology Mathematical Logic and Formal Languages Mathematical Logic and Foundations 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 1\p DE-604 Primiero, Giuseppe Sonstige oth SpringerLink (Online service) Sonstige oth https://doi.org/10.1007/978-1-4020-6170-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Information and Knowledge A Constructive Type-theoretical Approach Informatik Philosophie Philosophy (General) Genetic epistemology Logic Computer science Logic, Symbolic and mathematical Philosophy Epistemology Mathematical Logic and Formal Languages Mathematical Logic and Foundations 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_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 | Informatik Philosophie Philosophy (General) Genetic epistemology Logic Computer science Logic, Symbolic and mathematical Philosophy Epistemology Mathematical Logic and Formal Languages Mathematical Logic and Foundations Erkenntnis (DE-588)4015286-8 gnd Information (DE-588)4026899-8 gnd |
| topic_facet | Informatik Philosophie Philosophy (General) Genetic epistemology Logic Computer science Logic, Symbolic and mathematical Philosophy Epistemology Mathematical Logic and Formal Languages Mathematical Logic and Foundations Erkenntnis Information |
| url | https://doi.org/10.1007/978-1-4020-6170-7 |
| work_keys_str_mv | AT primierogiuseppe informationandknowledgeaconstructivetypetheoreticalapproach AT springerlinkonlineservice informationandknowledgeaconstructivetypetheoreticalapproach |