Buchumschlag

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:
Konferenzschrift
Konferenzschrift > 1997 > Leeds
Mathematische Logik
Berechenbarkeit
Modelltheorie
Online-Zugang:Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:0919.00039
Volltext
Verfasserangaben:ed. by S. Barry Cooper; John K. Truss
Beschreibung
Beschreibung:Literaturangaben
ISBN:0521635500

Ähnliche Einträge