Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Association for Symbolic Logic (BerichterstatterIn) , Logic Colloquium (BerichterstatterIn)
Weitere Verfasser: Buss, Samuel R. (HerausgeberIn) , Hájek, Petr (BerichterstatterIn) , Pudlák, Pavel (BerichterstatterIn)
Dokumenttyp: Konferenzschrift
Sprache:Englisch
Veröffentlicht: Natick, Mass. Association for Symbolic Logic 2000
Schriftenreihe:Lecture notes in logic 13
In: Lecture notes in logic (13)

Volumes / Articles: Show Volumes / Articles.
Schlagworte:
Online-Zugang:Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:0932.00038
Volltext
Verfasserangaben:ed. by Samuel R. Buss ...

MARC

LEADER 00000cam a2200000 c 4500
001 306147963
003 DE-627
005 20250324123253.0
007 tu
008 991126s2000 xxu||||| 00| ||eng c
020 |a 1568811136  |c hc : acid-free paper  |9 1-56881-113-6 
020 |a 1568811144  |c pbk.  |9 1-56881-114-4 
024 3 |a 9781568811130 
035 |a (DE-627)306147963 
035 |a (DE-576)083157743 
035 |a (DE-599)GBV306147963 
035 |a (OCoLC)247817464 
035 |a (OCoLC)313553452 
035 |a (AT-OBV)AC03438947 
035 |a (ZBM)0932.00038 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XD-US 
050 0 |a QA9.A1 
082 0 |a 511.3 
084 |a 27  |2 sdnb 
084 |a 27  |2 sdnb 
084 |a SD 1998  |2 rvk  |0 (DE-625)rvk/142732: 
084 |a *00B25  |2 msc 
084 |a 03-06  |2 msc 
084 |a 31.10  |2 bkl 
090 |a a 
245 0 0 |a Logic Colloquium '98  |b proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998  |c ed. by Samuel R. Buss ... 
264 1 |a Natick, Mass.  |b Association for Symbolic Logic  |c 2000 
300 |a XV, 541 S  |b Ill  |c 25 cm 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in logic  |v 13 
500 |a Includes bibliographical references and index 
583 1 |a Archivierung prüfen  |c 20240324  |f DE-4165  |z 2  |2 pdager 
653 0 |a a  |a Logic, Symbolic and mathematical 
655 7 |a Konferenzschrift  |y 1998  |z Prag  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4037951-6  |0 (DE-627)104707992  |0 (DE-576)20902741X  |a Mathematische Logik  |2 gnd 
689 0 |5 DE-101 
700 1 |a Buss, Samuel R.  |e Hrsg.  |4 edt 
700 1 |8 1\p  |a Hájek, Petr  |d 1940-  |0 (DE-588)143699024  |0 (DE-627)653251807  |0 (DE-576)161439071  |4 oth 
700 1 |8 2\p  |a Pudlák, Pavel  |d 1952-  |0 (DE-588)172315131  |0 (DE-627)697223086  |0 (DE-576)166902608  |4 oth 
710 2 |a Association for Symbolic Logic  |0 (DE-588)1000449-X  |0 (DE-627)102941688  |0 (DE-576)191133655  |4 oth 
711 2 |a Logic Colloquium  |d 1998  |c Prag  |0 (DE-588)1902007-7  |0 (DE-627)323068065  |0 (DE-576)198300085  |4 oth 
776 0 8 |i Elektronische Reproduktion  |a Logic Colloquium (1998 : Prag)  |t Logic Colloquium '98  |d Cambridge : Cambridge University Press, 2000  |h xvi, 541 Seiten  |w (DE-627)887340717  |w (DE-576)9887340715  |z 9781316756140 
830 0 |a Lecture notes in logic  |v 13  |9 13  |w (DE-627)182191087  |w (DE-576)036459984  |w (DE-600)1184829-7  |x 1431-5459  |7 am 
856 4 2 |u https://zbmath.org/?q=an:0932.00038  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
883 |8 1\p  |a cgwrk  |d 20241001  |q DE-101  |u https://d-nb.info/provenance/plan#cgwrk 
883 |8 2\p  |a cgwrk  |d 20241001  |q DE-101  |u https://d-nb.info/provenance/plan#cgwrk 
935 |i sf 
935 |i Blocktest 
936 r v |a SD 1998  |b Veranstaltungsjahr 1998  |k Mathematik  |k Kongressberichte  |k Veranstaltungsjahr 1998  |0 (DE-627)1271296446  |0 (DE-625)rvk/142732:  |0 (DE-576)201296446 
936 b k |a 31.10  |j Mathematische Logik  |j Mengenlehre  |0 (DE-627)10640847X 
951 |a BO 
990 |a Mathematische Logik 
992 |a 20170220 
999 |a KXP-PPN306147963  |e 3136862015 
BIB |a Y 
SPR |a Y 
JSO |a {"title":[{"title":"Logic Colloquium '98","subtitle":"proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998","title_sort":"Logic Colloquium '98"}],"person":[{"role":"edt","display":"Buss, Samuel R.","roleDisplay":"Hrsg.","given":"Samuel R.","family":"Buss"},{"given":"Petr","family":"Hájek","role":"oth","display":"Hájek, Petr"},{"given":"Pavel","family":"Pudlák","role":"oth","display":"Pudlák, Pavel"}],"type":{"bibl":"edited-book"},"note":["Includes bibliographical references and index"],"corporate":[{"display":"Association for Symbolic Logic","role":"oth"},{"role":"oth","display":"Logic Colloquium (1998, Prag)"}],"language":["eng"],"recId":"306147963","origin":[{"publisher":"Association for Symbolic Logic","dateIssuedKey":"2000","dateIssuedDisp":"2000","publisherPlace":"Natick, Mass."}],"id":{"eki":["306147963"],"isbn":["1568811136","1568811144"]},"name":{"displayForm":["ed. by Samuel R. Buss ..."]},"relMultPart":[{"id":{"issn":["1431-5459"],"eki":["182191087"],"zdb":["1184829-7"]},"origin":[{"dateIssuedDisp":"1993-","publisher":"Cambridge University Press ; Springer ; Peters","dateIssuedKey":"1993","publisherPlace":"Cambridge ; Berlin ; Heidelberg [u.a.] ; Natick, Mas."}],"dispAlt":"Lecture notes in logic","title":[{"title_sort":"Lecture notes in logic","title":"Lecture notes in logic","subtitle":"LNL"}],"language":["eng"],"recId":"182191087","disp":"Lecture notes in logic","type":{"bibl":"serial"},"part":{"number_sort":["13"],"number":["13"]},"titleAlt":[{"title":"LNL"}],"pubHistory":["1.1993 -"]}],"physDesc":[{"noteFormat":"25 cm","extent":"XV, 541 S","noteIll":"Ill"}]} 
SRT |a LOGICCOLLO2000