Treatise on intuitionistic type theory:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht [u.a.]
Springer
2011
|
| Series: | Logic, epistemology, and the unity of science
22 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 196 S. graph. Darst. |
| ISBN: | 9789400717350 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039127987 | ||
| 003 | DE-604 | ||
| 005 | 20140623 | ||
| 007 | t | ||
| 008 | 110708s2011 d||| |||| 00||| eng d | ||
| 020 | |a 9789400717350 |9 978-94-007-1735-0 | ||
| 035 | |a (OCoLC)738388251 | ||
| 035 | |a (DE-599)BVBBV039127987 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-384 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Granström, Johan G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Treatise on intuitionistic type theory |c Johan Georg Granström |
| 264 | 1 | |a Dordrecht [u.a.] |b Springer |c 2011 | |
| 300 | |a XIII, 196 S. |b graph. Darst. | ||
| 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 22 | |
| 650 | 0 | 7 | |a Typentheorie |0 (DE-588)4121795-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Typentheorie |0 (DE-588)4121795-0 |D s |
| 689 | 0 | 1 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Logic, epistemology, and the unity of science |v 22 |w (DE-604)BV019709027 |9 22 | |
| 856 | 4 | 2 | |m Inhaltsverzeichnis |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024146397&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024146397 | ||
Record in the Search Index
| _version_ | 1804147961819561985 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
CONTENTS
LIST OF FIGURES
LIST OF TABLES
INTRODUCTION
CHAPTER I. PROLEGOMENA 1. A THREEFOLD CORRESPONDENCE 2. THE ACTS OF
THE MIND
3. THE PRINCIPLE OF COMPOSITIONALITY 4. LINGUA CHARACTERISTICA
CHAPTER 11. TRUTH AND KNOWLEDGE 1. THE MEANING OF MEANING 2. A
DIVISION OF BEING 3. MATHEMATICAL ENTITIES
4. JUDGEMENT AND ASSERTION 5. REASONING AND DEMONSTRATION 6. THE
PROPOSITION 7. THE LAWS OF LOGIC
8. VARIABLES AND GENERALITY 9. DIVISION OF DEFINITIONS
CHAPTER III. THE NOTION OF SET 1. A HISTORY OF SET-LIKE NOTIONS 2.
SET-THEORETICAL NOTATION 3. MAKING UNIVERSAL CONCEPTS INTO OBJECTS OF
THOUGHT 4. CANONICAL SETS AND ELEMENTS
5. HOW TO DEFINE A CANONICAL SET 6. MORE CANONICAL SETS
CHAPTER IV. REFERENCE AND COMPUTATION 1. FUNCTIONS, ALGORITHMS, AND
PROGRAMS 2. THE CONCEPT OF FUNCTION 3. A FORMALIZATION OF
COMPUTATION
4. NONCANONICAL SETS AND ELEMENTS 5. NOMINAL DEFINITIONS
V
VII
IX
XI
1 1 4 6
9
13 13 16 18 22
25 26 36 44
49
53 53 59 59
63 69 74
77 78 81 86
91 97
|
| any_adam_object | 1 |
| author | Granström, Johan G. |
| author_facet | Granström, Johan G. |
| author_role | aut |
| author_sort | Granström, Johan G. |
| author_variant | j g g jg jgg |
| building | Verbundindex |
| bvnumber | BV039127987 |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)738388251 (DE-599)BVBBV039127987 |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01541nam a2200385 cb4500</leader><controlfield tag="001">BV039127987</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140623 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110708s2011 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400717350</subfield><subfield code="9">978-94-007-1735-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)738388251</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039127987</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</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">Granström, Johan G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Treatise on intuitionistic type theory</subfield><subfield code="c">Johan Georg Granström</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 196 S.</subfield><subfield code="b">graph. Darst.</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">22</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</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">22</subfield><subfield code="w">(DE-604)BV019709027</subfield><subfield code="9">22</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Inhaltsverzeichnis</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=024146397&sequence=000001&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-024146397</subfield></datafield></record></collection> |
| id | DE-604.BV039127987 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:59:34Z |
| institution | BVB |
| isbn | 9789400717350 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024146397 |
| oclc_num | 738388251 |
| open_access_boolean | |
| owner | DE-29 DE-384 |
| owner_facet | DE-29 DE-384 |
| physical | XIII, 196 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Logic, epistemology, and the unity of science |
| series2 | Logic, epistemology, and the unity of science |
| spelling | Granström, Johan G. Verfasser aut Treatise on intuitionistic type theory Johan Georg Granström Dordrecht [u.a.] Springer 2011 XIII, 196 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logic, epistemology, and the unity of science 22 Typentheorie (DE-588)4121795-0 gnd rswk-swf Intuitionistische Mathematik (DE-588)4162200-5 gnd rswk-swf Typentheorie (DE-588)4121795-0 s Intuitionistische Mathematik (DE-588)4162200-5 s DE-604 Logic, epistemology, and the unity of science 22 (DE-604)BV019709027 22 Inhaltsverzeichnis application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024146397&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Granström, Johan G. Treatise on intuitionistic type theory Logic, epistemology, and the unity of science Typentheorie (DE-588)4121795-0 gnd Intuitionistische Mathematik (DE-588)4162200-5 gnd |
| subject_GND | (DE-588)4121795-0 (DE-588)4162200-5 |
| title | Treatise on intuitionistic type theory |
| title_auth | Treatise on intuitionistic type theory |
| title_exact_search | Treatise on intuitionistic type theory |
| title_full | Treatise on intuitionistic type theory Johan Georg Granström |
| title_fullStr | Treatise on intuitionistic type theory Johan Georg Granström |
| title_full_unstemmed | Treatise on intuitionistic type theory Johan Georg Granström |
| title_short | Treatise on intuitionistic type theory |
| title_sort | treatise on intuitionistic type theory |
| topic | Typentheorie (DE-588)4121795-0 gnd Intuitionistische Mathematik (DE-588)4162200-5 gnd |
| topic_facet | Typentheorie Intuitionistische Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024146397&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV019709027 |
| work_keys_str_mv | AT granstromjohang treatiseonintuitionistictypetheory |