Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Person/Organisation
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    Cambridge : Cambridge University Press
    UID:
    gbv_893452262
    Umfang: 1 Online-Ressource (x, 131 pages) , digital, PDF file(s)
    ISBN: 9781316716854
    Serie: Lecture notes in logic 10
    Inhalt: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindström presents some of the main topics and results in general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers
    Anmerkung: Title from publisher's bibliographic system (viewed on 18 Apr 2017)
    Weitere Ausg.: ISBN 9781107167926
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9781107167926
    Sprache: Englisch
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    Cambridge :Cambridge University Press,
    UID:
    almahu_9948233601202882
    Umfang: 1 online resource (x, 131 pages) : , digital, PDF file(s).
    ISBN: 9781316716854 (ebook)
    Serie: Lecture notes in logic ; 10
    Inhalt: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindström presents some of the main topics and results in general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.
    Anmerkung: Title from publisher's bibliographic system (viewed on 18 Apr 2017).
    Weitere Ausg.: Print version: ISBN 9781107167926
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 9781107617926?
Meinten Sie 9781107137936?
Meinten Sie 9781107067929?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz