Produkt
KlappentextFinite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
Zusammenfassung
Suitable for both a one-term graduate course, and for self-study, as well as reference
Includes supplementary material: sn.pub/extras
Suitable for both a one-term graduate course, and for self-study, as well as reference
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-642-05948-3
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2010
Erscheinungsdatum03.12.2010
Seiten318 Seiten
SpracheEnglisch
Gewicht498 g
IllustrationenXIV, 318 p. 7 illus.
Artikel-Nr.10263499
Rubriken