Logic Colloquium '96: proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon
Springer
1998
|
| Schriftenreihe: | Lecture notes in logic
12 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 261 S. graph. Darst. |
| ISBN: | 354064668X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012068294 | ||
| 003 | DE-604 | ||
| 005 | 19981103 | ||
| 007 | t | ||
| 008 | 980714s1998 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 953787745 |2 DE-101 | |
| 020 | |a 354064668X |c kart. : ca. DM 189.00 |9 3-540-64668-X | ||
| 035 | |a (OCoLC)39867182 | ||
| 035 | |a (DE-599)BVBBV012068294 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a BC135 | |
| 050 | 0 | |a QA9.A1 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 111 | 2 | |a Logic Colloquium |d 1996 |c San Sebastián |j Verfasser |0 (DE-588)2170676-1 |4 aut | |
| 245 | 1 | 0 | |a Logic Colloquium '96 |b proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 |c J. M. Larrazabal ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon |b Springer |c 1998 | |
| 300 | |a VI, 261 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 logic |v 12 | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 4 | |a Logik | |
| 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 |y 1996 |z San Sebastian |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Larrazabal, Jesus M. |d 1948- |e Sonstige |0 (DE-588)120209888 |4 oth | |
| 830 | 0 | |a Lecture notes in logic |v 12 |w (DE-604)BV008909514 |9 12 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008169252&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008169252 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804126667871879168 |
|---|---|
| adam_text | J. M. LARRAZABAL D. LASCAR G. MINTS (EDS.) LOGIC COLLOQUIUM 96
PROCEEDINGS OF THE COLLOQUIUM HELD IN SAN SEBASTIAN, SPAIN, JULY 9-15,
1996 SPRINGER TABLE OF CONTENTS PREFACE V NICHOLAS ASHER THE LOGICAL
FOUNDATIONS OF DISCOURSE INTERPRETATION 1 HARRY BUHRMAN &; LEEN
TORENVLIET COMPLETE SETS AND STRUCTURE IN SUBRECURSIVE CLASSES 45 DAVID
M. EVANS &; DARREN G. D. GRAY KERNELS AND COHOMOLOGY GROUPS FOR SOME
FINITE COVERS 79 VLADIMIR KANOVEI ON STAR SCHEMATA OF KOSSAK AND PARIS
101 ULRICH KOHLENBACH ARITHMETIZING PROOFS IN ANALYSIS 115 ROMAN KOSSAK
SATISFACTION CLASSES AND AUTOMORPHISMS OF MODEIS OF PA 159 M. PENTUS 171
FREE MONOID COMPLETENESS OF THE LAMBEK CALCULUS ALLOWING EMPTY PREMISES
YA ACOV PETERZIL, ANAND PILLAY &: SERGEI STARCHENKO SIMPLE GROUPS
DEFINABLE IN O- MINIMAL STRUCTURES 211 MARK REYNOLDS TWO-DIMENSIONAL
TEMPORAL LOGIC 219 JAMES H. SCHMERL RATHER CLASSLESS, HIGHLY SATURATED
MODELS OF PEANO ARITHMETIC 237 GAISI TAKEUTI INCOMPLETENESS THEOREMS AND
S VERSUS S^ 1 247
|
| any_adam_object | 1 |
| author_GND | (DE-588)120209888 |
| author_corporate | Logic Colloquium San Sebastián |
| author_corporate_role | aut |
| author_facet | Logic Colloquium San Sebastián |
| author_sort | Logic Colloquium San Sebastián |
| building | Verbundindex |
| bvnumber | BV012068294 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 QA9.A1 |
| callnumber-search | BC135 QA9.A1 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | SK 130 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)39867182 (DE-599)BVBBV012068294 |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02158nam a2200517 cb4500</leader><controlfield tag="001">BV012068294</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981103 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980714s1998 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953787745</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354064668X</subfield><subfield code="c">kart. : ca. DM 189.00</subfield><subfield code="9">3-540-64668-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39867182</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012068294</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.A1</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="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">1996</subfield><subfield code="c">San Sebastián</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2170676-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '96</subfield><subfield code="b">proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996</subfield><subfield code="c">J. M. Larrazabal ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 261 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 logic</subfield><subfield code="v">12</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</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="y">1996</subfield><subfield code="z">San Sebastian</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="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">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Larrazabal, Jesus M.</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120209888</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">12</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">12</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008169252&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008169252</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 | (DE-588)1071861417 Konferenzschrift 1996 San Sebastian gnd-content |
| genre_facet | Konferenzschrift 1996 San Sebastian |
| id | DE-604.BV012068294 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:21:06Z |
| institution | BVB |
| institution_GND | (DE-588)2170676-1 |
| isbn | 354064668X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008169252 |
| oclc_num | 39867182 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-83 DE-11 |
| physical | VI, 261 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Logic Colloquium 1996 San Sebastián Verfasser (DE-588)2170676-1 aut Logic Colloquium '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 J. M. Larrazabal ... (eds.) Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon Springer 1998 VI, 261 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 12 Logica gtt Logique symbolique et mathématique - Congrès Logik 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 1996 San Sebastian gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s 1\p DE-604 Larrazabal, Jesus M. 1948- Sonstige (DE-588)120209888 oth Lecture notes in logic 12 (DE-604)BV008909514 12 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008169252&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic Colloquium '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 Lecture notes in logic Logica gtt Logique symbolique et mathématique - Congrès Logik 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 '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 |
| title_auth | Logic Colloquium '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 |
| title_exact_search | Logic Colloquium '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 |
| title_full | Logic Colloquium '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 J. M. Larrazabal ... (eds.) |
| title_fullStr | Logic Colloquium '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 J. M. Larrazabal ... (eds.) |
| title_full_unstemmed | Logic Colloquium '96 proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 J. M. Larrazabal ... (eds.) |
| title_short | Logic Colloquium '96 |
| title_sort | logic colloquium 96 proceedings of the colloquium held in san sebastian spain july 9 15 1996 |
| title_sub | proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996 |
| topic | Logica gtt Logique symbolique et mathématique - Congrès Logik Logic, Symbolic and mathematical Congresses Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logica Logique symbolique et mathématique - Congrès Logik Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift 1996 San Sebastian |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008169252&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT logiccolloquiumsansebastian logiccolloquium96proceedingsofthecolloquiumheldinsansebastianspainjuly9151996 AT larrazabaljesusm logiccolloquium96proceedingsofthecolloquiumheldinsansebastianspainjuly9151996 |