Sets and proofs: invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1999
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | London Mathematical Society lecture note series
258 |
| Schlagworte: | |
| Beschreibung: | IX, 436 S. graph. Darst. |
| ISBN: | 0521635497 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012537583 | ||
| 003 | DE-604 | ||
| 005 | 20150223 | ||
| 007 | t | ||
| 008 | 990503s1999 d||| |||| 10||| eng d | ||
| 020 | |a 0521635497 |9 0-521-63549-7 | ||
| 035 | |a (OCoLC)222681243 | ||
| 035 | |a (DE-599)BVBBV012537583 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-703 |a DE-355 |a DE-19 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 511.322 |2 21 | |
| 084 | |a SD 1997 |0 (DE-625)142731: |2 rvk | ||
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Sets and proofs |b invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |c ed. by S. Barry Cooper ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 1999 | |
| 300 | |a IX, 436 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society lecture note series |v 258 | |
| 650 | 4 | |a Proof theory |v Congresses | |
| 650 | 4 | |a Set theory |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Leeds |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cooper, Stuart B. |d 1943-2015 |e Sonstige |0 (DE-588)133309096 |4 oth | |
| 711 | 2 | |a Logic Colloquium |d 1997 |c Leeds |j Sonstige |0 (DE-588)5341347-7 |4 oth | |
| 830 | 0 | |a London Mathematical Society lecture note series |v 258 |w (DE-604)BV000000130 |9 258 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008513358 | ||
Datensatz im Suchindex
| _version_ | 1804127185097719808 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)133309096 |
| building | Verbundindex |
| bvnumber | BV012537583 |
| classification_rvk | SD 1997 SI 320 SK 130 |
| ctrlnum | (OCoLC)222681243 (DE-599)BVBBV012537583 |
| dewey-full | 511.322 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.322 |
| dewey-search | 511.322 |
| dewey-sort | 3511.322 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1. publ. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01635nam a2200421 cb4500</leader><controlfield tag="001">BV012537583</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150223 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990503s1999 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521635497</subfield><subfield code="9">0-521-63549-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)222681243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012537583</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.322</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1997</subfield><subfield code="0">(DE-625)142731:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</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="245" ind1="1" ind2="0"><subfield code="a">Sets and proofs</subfield><subfield code="b">invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997</subfield><subfield code="c">ed. by S. Barry Cooper ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 436 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">London Mathematical Society lecture note series</subfield><subfield code="v">258</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</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">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="y">1997</subfield><subfield code="z">Leeds</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, Stuart B.</subfield><subfield code="d">1943-2015</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)133309096</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">1997</subfield><subfield code="c">Leeds</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5341347-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">258</subfield><subfield code="w">(DE-604)BV000000130</subfield><subfield code="9">258</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008513358</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Leeds gnd-content |
| genre_facet | Konferenzschrift 1997 Leeds |
| id | DE-604.BV012537583 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:29:19Z |
| institution | BVB |
| institution_GND | (DE-588)5341347-7 |
| isbn | 0521635497 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008513358 |
| oclc_num | 222681243 |
| open_access_boolean | |
| owner | DE-739 DE-703 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 DE-188 |
| owner_facet | DE-739 DE-703 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 DE-188 |
| physical | IX, 436 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | London Mathematical Society lecture note series |
| series2 | London Mathematical Society lecture note series |
| spelling | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 ed. by S. Barry Cooper ... 1. publ. Cambridge Cambridge Univ. Press 1999 IX, 436 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier London Mathematical Society lecture note series 258 Proof theory Congresses Set theory Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Leeds gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Cooper, Stuart B. 1943-2015 Sonstige (DE-588)133309096 oth Logic Colloquium 1997 Leeds Sonstige (DE-588)5341347-7 oth London Mathematical Society lecture note series 258 (DE-604)BV000000130 258 |
| spellingShingle | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 London Mathematical Society lecture note series Proof theory Congresses Set theory Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_auth | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_exact_search | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_full | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 ed. by S. Barry Cooper ... |
| title_fullStr | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 ed. by S. Barry Cooper ... |
| title_full_unstemmed | Sets and proofs invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 ed. by S. Barry Cooper ... |
| title_short | Sets and proofs |
| title_sort | sets and proofs invited papers from logic colloquium 97 european meeting of the association for symbolic logic leeds july 1997 |
| title_sub | invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| topic | Proof theory Congresses Set theory Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Proof theory Congresses Set theory Congresses Mathematische Logik Konferenzschrift 1997 Leeds |
| volume_link | (DE-604)BV000000130 |
| work_keys_str_mv | AT cooperstuartb setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT logiccolloquiumleeds setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 |