> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Finite model theory and its applications : with 35 figures and 2 tables Beteiligte: Grädel, Erich [Sonstige Person, Familie und Körperschaft] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2007 Erschienen in: Texts in theoretical computer science Umfang: XI, 437 S.; graph. Darst; 24 cm Sprache: Englisch ISBN: 3540004289; 9783540004288; 9783642438608 RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Endliche Modelltheorie Entstehung: Anmerkungen: Literaturangaben
Bereichsbibliothek DrePunct Signatur: SK 130 G734 Barcode: 31614251 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.
Zentralbibliothek Signatur: SK 130 G734 Barcode: 33107747 Status: Verfügbarkeit bitte in Prof Algebra diskrete Strukturen erfragen.
Bereichsbibliothek DrePunct Signatur: ST 125 G734 Barcode: 34479768 Notizen: softcover re-print of the hardcover 1st edition Status: Verfügbarkeit bitte in Prof Computational Logic erfragen.