Logic colloquium '73: proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
North-Holland Pub. Co.
1975
|
| Series: | Studies in logic and the foundations of mathematics
v. 80 |
| Subjects: | |
| Online Access: | FAW01 UBY01 Volltext |
| Item Description: | Includes bibliographical references |
| Physical Description: | viii, 513 pages |
| ISBN: | 9780444106421 0444106421 0720422000 9780720422009 0720422825 9780720422825 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044382041 | ||
| 003 | DE-604 | ||
| 005 | 20230502 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1975 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444106421 |9 978-0-444-10642-1 | ||
| 020 | |a 0444106421 |9 0-444-10642-1 | ||
| 020 | |a 0720422000 |9 0-7204-2200-0 | ||
| 020 | |a 9780720422009 |9 978-0-7204-2200-9 | ||
| 020 | |a 0720422825 |9 0-7204-2282-5 | ||
| 020 | |a 9780720422825 |9 978-0-7204-2282-5 | ||
| 035 | |a (ZDB-33-ESD)ocn712401411 | ||
| 035 | |a (OCoLC)712401411 | ||
| 035 | |a (DE-599)BVBBV044382041 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 005.1/31 |2 22 | |
| 110 | 2 | |a Logic Colloquium <1973, Bristol> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic colloquium '73 |b proceedings |c edited by H.E. Rose and J.C. Shepherdson |
| 264 | 1 | |a Amsterdam |b North-Holland Pub. Co. |c 1975 | |
| 300 | |a viii, 513 pages | ||
| 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. 80 | |
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Engenharia De Programacao (Software) |2 larpcal | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Rose, Harvey Ernest |e Sonstige |4 oth | |
| 700 | 1 | |a Shepherdson, J. C. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/bookseries/0049237X/80 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029784262 | ||
| 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 | |
| 966 | e | |u http://www.sciencedirect.com/science/bookseries/0049237X/80 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/bookseries/0049237X/80 |l UBY01 |p ZDB-33-ESD |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804177645951254528 |
|---|---|
| any_adam_object | |
| author_corporate | Logic Colloquium <1973, Bristol> |
| author_corporate_role | aut |
| author_facet | Logic Colloquium <1973, Bristol> |
| author_sort | Logic Colloquium <1973, Bristol> |
| building | Verbundindex |
| bvnumber | BV044382041 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-ESD)ocn712401411 (OCoLC)712401411 (DE-599)BVBBV044382041 |
| dewey-full | 005.1/31 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/31 |
| dewey-search | 005.1/31 |
| dewey-sort | 15.1 231 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02430nmm a2200589zcb4500</leader><controlfield tag="001">BV044382041</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230502 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1975 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444106421</subfield><subfield code="9">978-0-444-10642-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444106421</subfield><subfield code="9">0-444-10642-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422000</subfield><subfield code="9">0-7204-2200-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422009</subfield><subfield code="9">978-0-7204-2200-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422825</subfield><subfield code="9">0-7204-2282-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422825</subfield><subfield code="9">978-0-7204-2282-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn712401411</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712401411</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044382041</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">005.1/31</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <1973, Bristol></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic colloquium '73</subfield><subfield code="b">proceedings</subfield><subfield code="c">edited by H.E. Rose and J.C. Shepherdson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Pub. Co.</subfield><subfield code="c">1975</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 513 pages</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. 80</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">Engenharia De Programacao (Software)</subfield><subfield code="2">larpcal</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="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="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="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">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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="700" ind1="1" ind2=" "><subfield code="a">Rose, Harvey Ernest</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shepherdson, J. C.</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/bookseries/0049237X/80</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029784262</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="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/bookseries/0049237X/80</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/bookseries/0049237X/80</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044382041 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:23Z |
| institution | BVB |
| isbn | 9780444106421 0444106421 0720422000 9780720422009 0720422825 9780720422825 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029784262 |
| oclc_num | 712401411 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | viii, 513 pages |
| psigel | ZDB-33-ESD ZDB-33-EBS ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1975 |
| publishDateSearch | 1975 |
| publishDateSort | 1975 |
| publisher | North-Holland Pub. Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Logic Colloquium <1973, Bristol> Verfasser aut Logic colloquium '73 proceedings edited by H.E. Rose and J.C. Shepherdson Amsterdam North-Holland Pub. Co. 1975 viii, 513 pages txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 80 Includes bibliographical references Logic, Symbolic and mathematical fast Engenharia De Programacao (Software) larpcal Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 Rose, Harvey Ernest Sonstige oth Shepherdson, J. C. Sonstige oth http://www.sciencedirect.com/science/bookseries/0049237X/80 Verlag URL des Erstveröffentlichers 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 '73 proceedings Logic, Symbolic and mathematical fast Engenharia De Programacao (Software) larpcal Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)1071861417 |
| title | Logic colloquium '73 proceedings |
| title_auth | Logic colloquium '73 proceedings |
| title_exact_search | Logic colloquium '73 proceedings |
| title_full | Logic colloquium '73 proceedings edited by H.E. Rose and J.C. Shepherdson |
| title_fullStr | Logic colloquium '73 proceedings edited by H.E. Rose and J.C. Shepherdson |
| title_full_unstemmed | Logic colloquium '73 proceedings edited by H.E. Rose and J.C. Shepherdson |
| title_short | Logic colloquium '73 |
| title_sort | logic colloquium 73 proceedings |
| title_sub | proceedings |
| topic | Logic, Symbolic and mathematical fast Engenharia De Programacao (Software) larpcal Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Engenharia De Programacao (Software) Logic, Symbolic and mathematical Congresses Logik Mathematische Logik Konferenzschrift |
| url | http://www.sciencedirect.com/science/bookseries/0049237X/80 |
| work_keys_str_mv | AT logiccolloquium1973bristol logiccolloquium73proceedings AT roseharveyernest logiccolloquium73proceedings AT shepherdsonjc logiccolloquium73proceedings |