Sets, models and recursion theory: Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1967
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 46 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 Online-Ressource (v, 331 p.) |
| ISBN: | 9780444534101 0444534105 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317958 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1967 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444534101 |9 978-0-444-53410-1 | ||
| 020 | |a 0444534105 |9 0-444-53410-5 | ||
| 035 | |a (OCoLC)428097427 | ||
| 035 | |a (DE-599)BVBBV042317958 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 110 | 2 | |a Logic Colloquium < 1965, University of Leicester> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Sets, models and recursion theory |b Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 |c edited by John N. Crossley |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1967 | |
| 300 | |a 1 Online-Ressource (v, 331 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 46 | |
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 4 | |a Set theory |v Congresses | |
| 650 | 0 | 7 | |a Menge |0 (DE-588)4038613-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Menge |0 (DE-588)4038613-2 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | 1 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Crossley, John N. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444534101 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754949 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152914970673152 |
|---|---|
| any_adam_object | |
| author_corporate | Logic Colloquium < 1965, University of Leicester> |
| author_corporate_role | aut |
| author_facet | Logic Colloquium < 1965, University of Leicester> |
| author_sort | Logic Colloquium < 1965, University of Leicester> |
| building | Verbundindex |
| bvnumber | BV042317958 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428097427 (DE-599)BVBBV042317958 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02502nmm a2200613zcb4500</leader><controlfield tag="001">BV042317958</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1967 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444534101</subfield><subfield code="9">978-0-444-53410-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444534105</subfield><subfield code="9">0-444-53410-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428097427</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317958</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium < 1965, University of Leicester></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets, models and recursion theory</subfield><subfield code="b">Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965</subfield><subfield code="c">edited by John N. Crossley</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (v, 331 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 46</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conference proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Set theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Menge</subfield><subfield code="0">(DE-588)4038613-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Menge</subfield><subfield code="0">(DE-588)4038613-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crossley, John N.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444534101</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754949</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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 | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042317958 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444534101 0444534105 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754949 |
| oclc_num | 428097427 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (v, 331 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1967 |
| publishDateSearch | 1967 |
| publishDateSort | 1967 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Logic Colloquium < 1965, University of Leicester> Verfasser aut Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 edited by John N. Crossley Amsterdam North-Holland 1967 1 Online-Ressource (v, 331 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 46 Conference proceedings fast Logic, Symbolic and mathematical fast Set theory fast Logic, Symbolic and mathematical Congresses Set theory Congresses Menge (DE-588)4038613-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Menge (DE-588)4038613-2 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Rekursionstheorie (DE-588)4122329-9 s 2\p DE-604 Modelltheorie (DE-588)4114617-7 s 3\p DE-604 Crossley, John N. Sonstige oth http://www.sciencedirect.com/science/book/9780444534101 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 Conference proceedings fast Logic, Symbolic and mathematical fast Set theory fast Logic, Symbolic and mathematical Congresses Set theory Congresses Menge (DE-588)4038613-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| subject_GND | (DE-588)4038613-2 (DE-588)4037951-6 (DE-588)4114617-7 (DE-588)4122329-9 (DE-588)1071861417 |
| title | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 |
| title_auth | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 |
| title_exact_search | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 |
| title_full | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 edited by John N. Crossley |
| title_fullStr | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 edited by John N. Crossley |
| title_full_unstemmed | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 edited by John N. Crossley |
| title_short | Sets, models and recursion theory |
| title_sort | sets models and recursion theory proceedings of the summer school in mathematical logic and tenth logic colloquium leicester august september 1965 |
| title_sub | Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 |
| topic | Conference proceedings fast Logic, Symbolic and mathematical fast Set theory fast Logic, Symbolic and mathematical Congresses Set theory Congresses Menge (DE-588)4038613-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| topic_facet | Conference proceedings Logic, Symbolic and mathematical Set theory Logic, Symbolic and mathematical Congresses Set theory Congresses Menge Mathematische Logik Modelltheorie Rekursionstheorie Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444534101 |
| work_keys_str_mv | AT logiccolloquium1965universityofleicester setsmodelsandrecursiontheoryproceedingsofthesummerschoolinmathematicallogicandtenthlogiccolloquiumleicesteraugustseptember1965 AT crossleyjohnn setsmodelsandrecursiontheoryproceedingsofthesummerschoolinmathematicallogicandtenthlogiccolloquiumleicesteraugustseptember1965 |