Intensional mathematics:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1985
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
113 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | V, 230 S. |
| ISBN: | 0444876324 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000268550 | ||
| 003 | DE-604 | ||
| 005 | 20171010 | ||
| 007 | t | ||
| 008 | 870612s1985 |||| 00||| eng d | ||
| 020 | |a 0444876324 |9 0-444-87632-4 | ||
| 035 | |a (OCoLC)230656902 | ||
| 035 | |a (DE-599)BVBBV000268550 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-19 |a DE-703 |a DE-739 |a DE-29T |a DE-706 |a DE-83 |a DE-188 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03-06 |2 msc | ||
| 084 | |a MAT 010f |2 stub | ||
| 245 | 1 | 0 | |a Intensional mathematics |c ed. by Stewart Shapiro |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1985 | |
| 300 | |a V, 230 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 113 | |
| 650 | 0 | 7 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intensionale Logik |0 (DE-588)4161959-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Intensionale Logik |0 (DE-588)4161959-6 |D s |
| 689 | 2 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Shapiro, Stewart |d 1951- |e Sonstige |0 (DE-588)131540564 |4 oth | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 113 |w (DE-604)BV000893472 |9 113 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-www | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000163444 | ||
Datensatz im Suchindex
| _version_ | 1804114736448536576 |
|---|---|
| adam_text | V
TABLE OF CONTENTS
1. Introduction: Intensional Mathematics and Constructive Mathematics
Stewart Shapiro 1
2. Epistemic and Intuitionistic Arithmetic
Stewart Shapiro 11
3. Intensional Set Theory
John Myhill 47
4. A Genuinely Intensional Set Theory
Nicholas D. Goodman 63
5. Extending GodeFs Modal Interpretation to Type Theory and Set Theory
Andrej Scedrov 81
6. Church s Thesis is Consistent with Epistemic Arithmetic
Robert C. Flagg 121
7. Calculable Natural Numbers
Vladimir Lifschitz 173
8. Modality and Self Reference
Raymond M. Smullyan 191
9. Some Principles Related to Lob s Theorem
Raymond M. Smullyan 213
|
| any_adam_object | 1 |
| author_GND | (DE-588)131540564 |
| building | Verbundindex |
| bvnumber | BV000268550 |
| classification_rvk | SK 130 |
| classification_tum | MAT 010f |
| ctrlnum | (OCoLC)230656902 (DE-599)BVBBV000268550 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01968nam a2200481 cb4500</leader><controlfield tag="001">BV000268550</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171010 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1985 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444876324</subfield><subfield code="9">0-444-87632-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)230656902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000268550</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 010f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intensional mathematics</subfield><subfield code="c">ed. by Stewart Shapiro</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 230 S.</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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">113</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="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="689" ind1="1" ind2="0"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shapiro, Stewart</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131540564</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">113</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">113</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000163444</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV000268550 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:11:27Z |
| institution | BVB |
| isbn | 0444876324 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000163444 |
| oclc_num | 230656902 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-29T DE-706 DE-83 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-29T DE-706 DE-83 DE-188 |
| physical | V, 230 S. |
| psigel | TUB-www |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | North-Holland |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Intensional mathematics ed. by Stewart Shapiro Amsterdam [u.a.] North-Holland 1985 V, 230 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 113 Intuitionistische Mathematik (DE-588)4162200-5 gnd rswk-swf Konstruktive Mathematik (DE-588)4165105-4 gnd rswk-swf Intensionale Logik (DE-588)4161959-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Intuitionistische Mathematik (DE-588)4162200-5 s DE-604 Konstruktive Mathematik (DE-588)4165105-4 s Intensionale Logik (DE-588)4161959-6 s Mathematik (DE-588)4037944-9 s Shapiro, Stewart 1951- Sonstige (DE-588)131540564 oth Studies in logic and the foundations of mathematics 113 (DE-604)BV000893472 113 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Intensional mathematics Studies in logic and the foundations of mathematics Intuitionistische Mathematik (DE-588)4162200-5 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd Intensionale Logik (DE-588)4161959-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4162200-5 (DE-588)4165105-4 (DE-588)4161959-6 (DE-588)4037944-9 (DE-588)4143413-4 |
| title | Intensional mathematics |
| title_auth | Intensional mathematics |
| title_exact_search | Intensional mathematics |
| title_full | Intensional mathematics ed. by Stewart Shapiro |
| title_fullStr | Intensional mathematics ed. by Stewart Shapiro |
| title_full_unstemmed | Intensional mathematics ed. by Stewart Shapiro |
| title_short | Intensional mathematics |
| title_sort | intensional mathematics |
| topic | Intuitionistische Mathematik (DE-588)4162200-5 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd Intensionale Logik (DE-588)4161959-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Intuitionistische Mathematik Konstruktive Mathematik Intensionale Logik Mathematik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT shapirostewart intensionalmathematics |