Metamathematical investigation of intuitionistic arithmetic and analysis:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1973
|
| Schriftenreihe: | Lecture notes in mathematics
344 |
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. [462] - 475 |
| Beschreibung: | XVII, 485 S. graph. Darst. |
| ISBN: | 3540064915 0387064915 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV003017298 | ||
| 003 | DE-604 | ||
| 005 | 20120314 | ||
| 007 | t | ||
| 008 | 900725s1973 d||| |||| 00||| eng d | ||
| 020 | |a 3540064915 |9 3-540-06491-5 | ||
| 020 | |a 0387064915 |9 0-387-06491-5 | ||
| 035 | |a (OCoLC)250934381 | ||
| 035 | |a (DE-599)BVBBV003017298 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-91G |a DE-355 |a DE-20 |a DE-824 |a DE-29T |a DE-19 |a DE-188 |a DE-83 |a DE-11 |a DE-706 |a DE-210 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 510/.8 | |
| 082 | 0 | |a 511/.3 | |
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 084 | |a 03F55 |2 msc | ||
| 245 | 1 | 0 | |a Metamathematical investigation of intuitionistic arithmetic and analysis |c A. S. Troelstra (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1973 | |
| 300 | |a XVII, 485 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 344 | |
| 500 | |a Literaturverz. S. [462] - 475 | ||
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Intuïtionisme |2 gtt | |
| 650 | 4 | |a Mathématiques intuitionnistes | |
| 650 | 7 | |a Modeltheorie |2 gtt | |
| 650 | 4 | |a Modèles, Théorie des | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 4 | |a Intuitionistic mathematics | |
| 650 | 4 | |a Model theory | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intuitionistische Analysis |0 (DE-588)4162198-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |a Intuitionistische Arithmetik |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 0 | 1 | |a Intuitionistische Arithmetik |A f |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 1 | 1 | |a Intuitionistische Analysis |0 (DE-588)4162198-0 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Intuitionistische Analysis |0 (DE-588)4162198-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Troelstra, Anne S. |d 1939-2019 |e Sonstige |0 (DE-588)131940058 |4 oth | |
| 830 | 0 | |a Lecture notes in mathematics |v 344 |w (DE-604)BV000676446 |9 344 | |
| 940 | 1 | |q HUB-ZB011200911 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001888967 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804117306084687872 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)131940058 |
| building | Verbundindex |
| bvnumber | BV003017298 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 850 |
| ctrlnum | (OCoLC)250934381 (DE-599)BVBBV003017298 |
| dewey-full | 510/.8 511/.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics 511 - General principles of mathematics |
| dewey-raw | 510/.8 511/.3 |
| dewey-search | 510/.8 511/.3 |
| dewey-sort | 3510 18 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02229nam a2200625 cb4500</leader><controlfield tag="001">BV003017298</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120314 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1973 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540064915</subfield><subfield code="9">3-540-06491-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387064915</subfield><subfield code="9">0-387-06491-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)250934381</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003017298</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-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.8</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 850</subfield><subfield code="0">(DE-625)143199:</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="245" ind1="1" ind2="0"><subfield code="a">Metamathematical investigation of intuitionistic arithmetic and analysis</subfield><subfield code="c">A. S. Troelstra (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1973</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 485 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">Lecture notes in mathematics</subfield><subfield code="v">344</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [462] - 475</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</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">Modeltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intuitionistic mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Analysis</subfield><subfield code="0">(DE-588)4162198-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Intuitionistische Arithmetik</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Intuitionistische Arithmetik</subfield><subfield code="A">f</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">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Intuitionistische Analysis</subfield><subfield code="0">(DE-588)4162198-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Intuitionistische Analysis</subfield><subfield code="0">(DE-588)4162198-0</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">Troelstra, Anne S.</subfield><subfield code="d">1939-2019</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131940058</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">344</subfield><subfield code="w">(DE-604)BV000676446</subfield><subfield code="9">344</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">HUB-ZB011200911</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001888967</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></record></collection> |
| genre | Intuitionistische Arithmetik gnd |
| genre_facet | Intuitionistische Arithmetik |
| id | DE-604.BV003017298 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:52:18Z |
| institution | BVB |
| isbn | 3540064915 0387064915 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001888967 |
| oclc_num | 250934381 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-188 DE-83 DE-11 DE-706 DE-210 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-188 DE-83 DE-11 DE-706 DE-210 |
| physical | XVII, 485 S. graph. Darst. |
| psigel | HUB-ZB011200911 |
| publishDate | 1973 |
| publishDateSearch | 1973 |
| publishDateSort | 1973 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spelling | Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) Berlin [u.a.] Springer 1973 XVII, 485 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in mathematics 344 Literaturverz. S. [462] - 475 Bewijstheorie gtt Intuïtionisme gtt Mathématiques intuitionnistes Modeltheorie gtt Modèles, Théorie des Preuve, Théorie de la Intuitionistic mathematics Model theory Proof theory Metamathematik (DE-588)4074759-1 gnd rswk-swf Intuitionistische Analysis (DE-588)4162198-0 gnd rswk-swf Intuitionistische Arithmetik gnd rswk-swf Metamathematik (DE-588)4074759-1 s Intuitionistische Arithmetik f DE-604 Intuitionistische Analysis (DE-588)4162198-0 s 1\p DE-604 Troelstra, Anne S. 1939-2019 Sonstige (DE-588)131940058 oth Lecture notes in mathematics 344 (DE-604)BV000676446 344 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Metamathematical investigation of intuitionistic arithmetic and analysis Lecture notes in mathematics Bewijstheorie gtt Intuïtionisme gtt Mathématiques intuitionnistes Modeltheorie gtt Modèles, Théorie des Preuve, Théorie de la Intuitionistic mathematics Model theory Proof theory Metamathematik (DE-588)4074759-1 gnd Intuitionistische Analysis (DE-588)4162198-0 gnd |
| subject_GND | (DE-588)4074759-1 (DE-588)4162198-0 |
| title | Metamathematical investigation of intuitionistic arithmetic and analysis |
| title_auth | Metamathematical investigation of intuitionistic arithmetic and analysis |
| title_exact_search | Metamathematical investigation of intuitionistic arithmetic and analysis |
| title_full | Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) |
| title_fullStr | Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) |
| title_full_unstemmed | Metamathematical investigation of intuitionistic arithmetic and analysis A. S. Troelstra (ed.) |
| title_short | Metamathematical investigation of intuitionistic arithmetic and analysis |
| title_sort | metamathematical investigation of intuitionistic arithmetic and analysis |
| topic | Bewijstheorie gtt Intuïtionisme gtt Mathématiques intuitionnistes Modeltheorie gtt Modèles, Théorie des Preuve, Théorie de la Intuitionistic mathematics Model theory Proof theory Metamathematik (DE-588)4074759-1 gnd Intuitionistische Analysis (DE-588)4162198-0 gnd |
| topic_facet | Bewijstheorie Intuïtionisme Mathématiques intuitionnistes Modeltheorie Modèles, Théorie des Preuve, Théorie de la Intuitionistic mathematics Model theory Proof theory Metamathematik Intuitionistische Analysis Intuitionistische Arithmetik |
| volume_link | (DE-604)BV000676446 |
| work_keys_str_mv | AT troelstraannes metamathematicalinvestigationofintuitionisticarithmeticandanalysis |