Choice sequences: a chapter of intuitionistic mathematics
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Oxford
Clarendon Press
1977
|
| Schriftenreihe: | Oxford logic guides
|
| Schlagwörter: | |
| Umfang: | IX, 170 S. graph. Darst. |
| ISBN: | 019853163X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002282231 | ||
| 003 | DE-604 | ||
| 005 | 20141208 | ||
| 007 | t| | ||
| 008 | 890928s1977 xx d||| |||| 00||| eng d | ||
| 020 | |a 019853163X |9 0-19-853163-X | ||
| 035 | |a (OCoLC)3085044 | ||
| 035 | |a (DE-599)BVBBV002282231 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-355 |a DE-29 |a DE-29T |a DE-19 |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA246.5 | |
| 082 | 0 | |a 511/.2 | |
| 082 | 0 | |a 515/.242 |2 18 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03F55 |2 msc | ||
| 100 | 1 | |a Troelstra, Anne S. |d 1939-2019 |e Verfasser |0 (DE-588)131940058 |4 aut | |
| 245 | 1 | 0 | |a Choice sequences |b a chapter of intuitionistic mathematics |c by A. S. Troelstra |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1977 | |
| 300 | |a IX, 170 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Oxford logic guides | |
| 650 | 7 | |a Axiomatique |2 Jussieu | |
| 650 | 7 | |a Choice sequences |2 gtt | |
| 650 | 7 | |a Choix suite |2 Jussieu | |
| 650 | 7 | |a Histoire logique |2 Jussieu | |
| 650 | 7 | |a Intuitionnisme |2 Jussieu | |
| 650 | 7 | |a Intuïtionisme |2 gtt | |
| 650 | 4 | |a Mathématiques intuitionnistes | |
| 650 | 7 | |a Mathématiques intuitionnistes |2 ram | |
| 650 | 7 | |a Séries (mathématiques) |2 ram | |
| 650 | 7 | |a Thèse Church |2 Jussieu | |
| 650 | 4 | |a Intuitionistic mathematics | |
| 650 | 4 | |a Sequences (Mathematics) | |
| 650 | 0 | 7 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intuitionismus |0 (DE-588)4162197-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Intuitionismus |0 (DE-588)4162197-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 940 | 1 | |q TUB-www | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001499870 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 MAT 030f 2001 A 33592 |
|---|---|
| DE-BY-TUM_katkey | 379208 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020010808 |
| _version_ | 1821936861856137217 |
| any_adam_object | |
| author | Troelstra, Anne S. 1939-2019 |
| author_GND | (DE-588)131940058 |
| author_facet | Troelstra, Anne S. 1939-2019 |
| author_role | aut |
| author_sort | Troelstra, Anne S. 1939-2019 |
| author_variant | a s t as ast |
| building | Verbundindex |
| bvnumber | BV002282231 |
| callnumber-first | Q - Science |
| callnumber-label | QA246 |
| callnumber-raw | QA246.5 |
| callnumber-search | QA246.5 |
| callnumber-sort | QA 3246.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)3085044 (DE-599)BVBBV002282231 |
| dewey-full | 511/.2 515/.242 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics 515 - Analysis |
| dewey-raw | 511/.2 515/.242 |
| dewey-search | 511/.2 515/.242 |
| dewey-sort | 3511 12 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01977nam a2200589 c 4500</leader><controlfield tag="001">BV002282231</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141208 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1977 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">019853163X</subfield><subfield code="9">0-19-853163-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)3085044</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002282231</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-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA246.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">515/.242</subfield><subfield code="2">18</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">03F55</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Troelstra, Anne S.</subfield><subfield code="d">1939-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131940058</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Choice sequences</subfield><subfield code="b">a chapter of intuitionistic mathematics</subfield><subfield code="c">by A. S. Troelstra</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 170 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="0" ind2=" "><subfield code="a">Oxford logic guides</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Axiomatique</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Choice sequences</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Choix suite</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Histoire logique</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intuitionnisme</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intuïtionisme</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques intuitionnistes</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques intuitionnistes</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Séries (mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Thèse Church</subfield><subfield code="2">Jussieu</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intuitionistic mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sequences (Mathematics)</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">Intuitionismus</subfield><subfield code="0">(DE-588)4162197-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Intuitionismus</subfield><subfield code="0">(DE-588)4162197-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001499870</subfield></datafield></record></collection> |
| id | DE-604.BV002282231 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T07:48:50Z |
| institution | BVB |
| isbn | 019853163X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001499870 |
| oclc_num | 3085044 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-29 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-29 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
| physical | IX, 170 S. graph. Darst. |
| psigel | TUB-www |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Clarendon Press |
| record_format | marc |
| series2 | Oxford logic guides |
| spellingShingle | Troelstra, Anne S. 1939-2019 Choice sequences a chapter of intuitionistic mathematics Axiomatique Jussieu Choice sequences gtt Choix suite Jussieu Histoire logique Jussieu Intuitionnisme Jussieu Intuïtionisme gtt Mathématiques intuitionnistes Mathématiques intuitionnistes ram Séries (mathématiques) ram Thèse Church Jussieu Intuitionistic mathematics Sequences (Mathematics) Intuitionistische Mathematik (DE-588)4162200-5 gnd Intuitionismus (DE-588)4162197-9 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4162200-5 (DE-588)4162197-9 (DE-588)4036202-4 |
| title | Choice sequences a chapter of intuitionistic mathematics |
| title_auth | Choice sequences a chapter of intuitionistic mathematics |
| title_exact_search | Choice sequences a chapter of intuitionistic mathematics |
| title_full | Choice sequences a chapter of intuitionistic mathematics by A. S. Troelstra |
| title_fullStr | Choice sequences a chapter of intuitionistic mathematics by A. S. Troelstra |
| title_full_unstemmed | Choice sequences a chapter of intuitionistic mathematics by A. S. Troelstra |
| title_short | Choice sequences |
| title_sort | choice sequences a chapter of intuitionistic mathematics |
| title_sub | a chapter of intuitionistic mathematics |
| topic | Axiomatique Jussieu Choice sequences gtt Choix suite Jussieu Histoire logique Jussieu Intuitionnisme Jussieu Intuïtionisme gtt Mathématiques intuitionnistes Mathématiques intuitionnistes ram Séries (mathématiques) ram Thèse Church Jussieu Intuitionistic mathematics Sequences (Mathematics) Intuitionistische Mathematik (DE-588)4162200-5 gnd Intuitionismus (DE-588)4162197-9 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Axiomatique Choice sequences Choix suite Histoire logique Intuitionnisme Intuïtionisme Mathématiques intuitionnistes Séries (mathématiques) Thèse Church Intuitionistic mathematics Sequences (Mathematics) Intuitionistische Mathematik Intuitionismus Logik |
| work_keys_str_mv | AT troelstraannes choicesequencesachapterofintuitionisticmathematics |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 MAT 030f 2001 A 33592 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |