Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Association for Symbolic Logic (BerichterstatterIn) , London Mathematical Society (BerichterstatterIn) , Logic Colloquium (BerichterstatterIn)
Weitere Verfasser: Cooper, Stuart B. (HerausgeberIn) , Truss, John K. (BerichterstatterIn)
Dokumenttyp: Konferenzschrift
Sprache:Englisch
Veröffentlicht: Cambridge [u.a.] Cambridge University Press 1999
Schriftenreihe:London Mathematical Society lecture note series 259
In: Lecture note series / London Mathematical Society (259)

Volumes / Articles: Show Volumes / Articles.
Schlagworte:
Online-Zugang:Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:0919.00039
Volltext
Verfasserangaben:ed. by S. Barry Cooper; John K. Truss

MARC

LEADER 00000cam a2200000 c 4500
001 266374441
003 DE-627
005 20250324122445.0
007 tu
008 990323s1999 xxk||||| 00| ||eng c
016 7 |a b99Y3439  |2 UK 
020 |a 0521635500  |c pbk.  |9 0-521-63550-0 
035 |a (DE-627)266374441 
035 |a (DE-576)078701309 
035 |a (DE-599)GBV266374441 
035 |a (OCoLC)246072879 
035 |a (OCoLC)40783948 
035 |a (DE-604)8127007644 
035 |a (ZBM)0919.00039 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-GB  |c XD-US  |c XE-AU 
050 0 |a QA9.A1 
082 0 |a 511.3 
084 |a 27  |2 sdnb 
084 |a 27  |2 sdnb 
084 |a SI 320  |2 rvk  |0 (DE-625)rvk/143123: 
084 |a *00B25  |2 msc 
084 |a 03-06  |2 msc 
084 |a 31.10  |2 bkl 
245 0 0 |a Models and computability  |b invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997  |c ed. by S. Barry Cooper; John K. Truss 
263 |a pbk ; : £29.95 : CIP entry (May.) 
264 1 |a Cambridge [u.a.]  |b Cambridge University Press  |c 1999 
300 |a IX, 419 S 
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 London Mathematical Society lecture note series  |v 259 
500 |a Literaturangaben 
583 1 |a Archivierung prüfen  |c 20240324  |f DE-4165  |z 3  |2 pdager 
650 0 |a Logic, Symbolic and mathematical  |x Congresses 
650 0 |a Computable functions  |x Congresses 
650 4 |a Logic, Symbolic and mathematical 
650 4 |a Computable functions 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |y 1997  |z Leeds  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4114617-7  |0 (DE-627)105820873  |0 (DE-576)209486112  |a Modelltheorie  |2 gnd 
689 0 1 |d s  |0 (DE-588)4138368-0  |0 (DE-627)105643211  |0 (DE-576)209685441  |a Berechenbarkeit  |2 gnd 
689 0 |5 (DE-627) 
689 1 0 |d s  |0 (DE-588)4037951-6  |0 (DE-627)104707992  |0 (DE-576)20902741X  |a Mathematische Logik  |2 gnd 
689 1 |5 (DE-627) 
700 1 |a Cooper, Stuart B.  |d 1943-2015  |e Hrsg.  |0 (DE-588)133309096  |0 (DE-627)540517380  |0 (DE-576)174860250  |4 edt 
700 1 |a Truss, John K.  |4 oth 
710 2 |a Association for Symbolic Logic  |0 (DE-588)1000449-X  |0 (DE-627)102941688  |0 (DE-576)191133655  |4 oth 
710 2 |a London Mathematical Society  |0 (DE-588)1011030-6  |0 (DE-627)103191402  |0 (DE-576)191193631  |4 oth 
711 2 |a Logic Colloquium  |d 1997  |c Leeds  |0 (DE-588)5341347-7  |0 (DE-627)302375481  |0 (DE-576)197832652  |4 oth 
776 0 8 |i Erscheint auch als  |n Online-Ausgabe  |a Logic Colloquium ((1997 :Leeds, England))  |t Models and computability  |d Cambridge : Cambridge University Press, 1999  |h 1 Online-Ressource (ix, 419 pages)  |w (DE-627)883495392  |w (DE-576)486908585  |z 9780511565670 
810 2 |a London Mathematical Society  |t Lecture note series / London Mathematical Society  |v 259  |9 259  |w (DE-627)129392413  |w (DE-576)002709937  |w (DE-600)185008-8  |x 0076-0552  |7 am 
856 4 2 |u https://zbmath.org/?q=an:0919.00039  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)782944752 
935 |i Blocktest 
936 r v |a SI 320  |b London Mathematical Society: Lecture notes series  |k Mathematik  |k Schriftenreihen  |k Schriftenreihen in der Ordnung der Bandzählung  |k London Mathematical Society: Lecture notes series  |0 (DE-627)1271545187  |0 (DE-625)rvk/143123:  |0 (DE-576)201545187 
936 b k |a 31.10  |j Mathematische Logik  |j Mengenlehre  |0 (DE-627)10640847X 
951 |a BO 
990 |a Mathematische Logik 
990 |a Berechenbarkeit 
990 |a Modelltheorie 
992 |a 20170222 
999 |a KXP-PPN266374441  |e 3104876045 
BIB |a Y 
SPR |a Y 
JSO |a {"name":{"displayForm":["ed. by S. Barry Cooper; John K. Truss"]},"id":{"eki":["266374441"],"isbn":["0521635500"]},"origin":[{"publisherPlace":"Cambridge [u.a.]","publisher":"Cambridge University Press","dateIssuedKey":"1999","dateIssuedDisp":"1999"}],"physDesc":[{"extent":"IX, 419 S"}],"relMultPart":[{"dispAlt":"London Mathematical Society: Lecture note series / London Mathematical Society","id":{"eki":["129392413"],"zdb":["185008-8"],"issn":["0076-0552"]},"origin":[{"publisher":"Univ. Press","dateIssuedKey":"1971","dateIssuedDisp":"1971-","publisherPlace":"Cambridge"}],"corporate":[{"role":"aut","display":"London Mathematical Society","roleDisplay":"VerfasserIn"}],"language":["eng"],"recId":"129392413","disp":"London Mathematical Society lecture note series","type":{"bibl":"serial"},"titleAlt":[{"title":"London Mathematical Society lecture note series"},{"title":"LMS"}],"part":{"number":["259"],"number_sort":["259"]},"pubHistory":["1.1971 -"],"title":[{"title_sort":"Lecture note series / London Mathematical Society","title":"Lecture note series / London Mathematical Society"}]}],"person":[{"roleDisplay":"Hrsg.","display":"Cooper, Stuart B.","role":"edt","family":"Cooper","given":"Stuart B."},{"display":"Truss, John K.","role":"oth","family":"Truss","given":"John K."}],"title":[{"subtitle":"invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997","title":"Models and computability","title_sort":"Models and computability"}],"language":["eng"],"corporate":[{"display":"Association for Symbolic Logic","role":"oth"},{"display":"London Mathematical Society","role":"oth"},{"role":"oth","display":"Logic Colloquium (1997, Leeds)"}],"recId":"266374441","note":["Literaturangaben"],"type":{"bibl":"edited-book"}} 
SRT |a MODELSANDC1999