Choice sequences: a chapter of intuitionistic mathematics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford
Clarendon Press
1977
|
| Series: | Oxford logic guides
|
| Subjects: | |
| Physical Description: | IX, 170 S. graph. Darst. |
| ISBN: | 019853163X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002282231 | ||
| 003 | DE-604 | ||
| 005 | 20141208 | ||
| 007 | t | ||
| 008 | 890928s1977 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001499870 | ||
Record in the Search Index
| _version_ | 1804116741320605696 |
|---|---|
| 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>01976nam 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 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001499870</subfield></datafield></record></collection> |
| id | DE-604.BV002282231 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:43:19Z |
| 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 |
| spelling | Troelstra, Anne S. 1939-2019 Verfasser (DE-588)131940058 aut Choice sequences a chapter of intuitionistic mathematics by A. S. Troelstra Oxford Clarendon Press 1977 IX, 170 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 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 rswk-swf Intuitionismus (DE-588)4162197-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Intuitionistische Mathematik (DE-588)4162200-5 s DE-604 Logik (DE-588)4036202-4 s Intuitionismus (DE-588)4162197-9 s |
| 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 |