Logic Colloquium '69: proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland Pub. Co.
1971
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 61 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | "Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute.". - "Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science." Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (xiv, 451 p.) |
| ISBN: | 9780720422610 0720422612 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317904 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1971 |||| o||u| ||||||eng d | ||
| 020 | |a 9780720422610 |9 978-0-7204-2261-0 | ||
| 020 | |a 0720422612 |9 0-7204-2261-2 | ||
| 035 | |a (OCoLC)428093400 | ||
| 035 | |a (DE-599)BVBBV042317904 | ||
| 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 Summer School in Logic < 1969, Manchester, England> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '69 |b proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 |c edited by R.O. Gandy and C.M.E. Yates |
| 264 | 1 | |a Amsterdam |b North-Holland Pub. Co. |c 1971 | |
| 300 | |a 1 Online-Ressource (xiv, 451 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. 61 | |
| 500 | |a "Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute.". - "Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science." | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Recursive functions |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Set theory | |
| 650 | 4 | |a Recursive functions | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1969 |z Manchester |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Gandy, R. O. |e Sonstige |4 oth | |
| 700 | 1 | |a Yates, C. Michael E. |e Sonstige |4 oth | |
| 710 | 2 | |a North Atlantic Treaty Organization |e Sonstige |4 oth | |
| 710 | 2 | |a International Union of the History and Philosophy of Science |b Division of Logic, Methodology and Philosophy of Science |e Sonstige |4 oth | |
| 710 | 2 | |a University of Manchester |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780720422610 |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-027754895 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804152914861621248 |
|---|---|
| any_adam_object | |
| author_corporate | Summer School in Logic < 1969, Manchester, England> |
| author_corporate_role | aut |
| author_facet | Summer School in Logic < 1969, Manchester, England> |
| author_sort | Summer School in Logic < 1969, Manchester, England> |
| building | Verbundindex |
| bvnumber | BV042317904 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428093400 (DE-599)BVBBV042317904 |
| 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 13 |
| 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>02573nmm a2200565zcb4500</leader><controlfield tag="001">BV042317904</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1971 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422610</subfield><subfield code="9">978-0-7204-2261-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422612</subfield><subfield code="9">0-7204-2261-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428093400</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317904</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">Summer School in Logic < 1969, Manchester, England></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '69</subfield><subfield code="b">proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969</subfield><subfield code="c">edited by R.O. Gandy and C.M.E. Yates</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Pub. Co.</subfield><subfield code="c">1971</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 451 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. 61</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute.". - "Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</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">Recursive functions</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></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1969</subfield><subfield code="z">Manchester</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gandy, R. O.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yates, C. Michael E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">North Atlantic Treaty Organization</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Union of the History and Philosophy of Science</subfield><subfield code="b">Division of Logic, Methodology and Philosophy of Science</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">University of Manchester</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/9780720422610</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-027754895</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></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1969 Manchester gnd-content |
| genre_facet | Konferenzschrift 1969 Manchester |
| id | DE-604.BV042317904 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780720422610 0720422612 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754895 |
| oclc_num | 428093400 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (xiv, 451 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1971 |
| publishDateSearch | 1971 |
| publishDateSort | 1971 |
| publisher | North-Holland Pub. Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Summer School in Logic < 1969, Manchester, England> Verfasser aut Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 edited by R.O. Gandy and C.M.E. Yates Amsterdam North-Holland Pub. Co. 1971 1 Online-Ressource (xiv, 451 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 61 "Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute.". - "Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science." Includes bibliographical references Logic, Symbolic and mathematical fast Recursive functions fast Set theory fast Logic, Symbolic and mathematical Set theory Recursive functions Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1969 Manchester gnd-content Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Gandy, R. O. Sonstige oth Yates, C. Michael E. Sonstige oth North Atlantic Treaty Organization Sonstige oth International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Sonstige oth University of Manchester Sonstige oth http://www.sciencedirect.com/science/book/9780720422610 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 |
| spellingShingle | Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 Logic, Symbolic and mathematical fast Recursive functions fast Set theory fast Logic, Symbolic and mathematical Set theory Recursive functions Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 |
| title_auth | Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 |
| title_exact_search | Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 |
| title_full | Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 edited by R.O. Gandy and C.M.E. Yates |
| title_fullStr | Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 edited by R.O. Gandy and C.M.E. Yates |
| title_full_unstemmed | Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 edited by R.O. Gandy and C.M.E. Yates |
| title_short | Logic Colloquium '69 |
| title_sort | logic colloquium 69 proceedings of the summer school and fourteenth colloquium in mathematical logic manchester august 1969 |
| title_sub | proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 |
| topic | Logic, Symbolic and mathematical fast Recursive functions fast Set theory fast Logic, Symbolic and mathematical Set theory Recursive functions Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Recursive functions Set theory Mathematische Logik Konferenzschrift 1969 Manchester |
| url | http://www.sciencedirect.com/science/book/9780720422610 |
| work_keys_str_mv | AT summerschoolinlogic1969manchesterengland logiccolloquium69proceedingsofthesummerschoolandfourteenthcolloquiuminmathematicallogicmanchesteraugust1969 AT gandyro logiccolloquium69proceedingsofthesummerschoolandfourteenthcolloquiuminmathematicallogicmanchesteraugust1969 AT yatescmichaele logiccolloquium69proceedingsofthesummerschoolandfourteenthcolloquiuminmathematicallogicmanchesteraugust1969 AT northatlantictreatyorganization logiccolloquium69proceedingsofthesummerschoolandfourteenthcolloquiuminmathematicallogicmanchesteraugust1969 AT internationalunionofthehistoryandphilosophyofsciencedivisionoflogicmethodologyandphilosophyofscience logiccolloquium69proceedingsofthesummerschoolandfourteenthcolloquiuminmathematicallogicmanchesteraugust1969 AT universityofmanchester logiccolloquium69proceedingsofthesummerschoolandfourteenthcolloquiuminmathematicallogicmanchesteraugust1969 |