Finite model theory and its applications : with 35 figures and 2 tables

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

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