Holdings: Logic Colloquium '96

Logic Colloquium '96: proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996

Saved in:

Bibliographic Details
Corporate Author:	Logic Colloquium San Sebastián (Author)
Format:	Conference Proceeding Book
Language:	German
Published:	Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon Springer 1998
Series:	Lecture notes in logic 12
Subjects:	Logica Logique symbolique et mathématique - Congrès Logik Logic, Symbolic and mathematical > Congresses Mathematische Logik Konferenzschrift > 1996 > San Sebastian
Online Access:	Inhaltsverzeichnis
Physical Description:	VI, 261 S. graph. Darst.
ISBN:	354064668X

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items