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-540-21202-7
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2004
Erscheinungsdatum02.07.2004
Seiten318 Seiten
SpracheEnglisch
Gewicht699 g
IllustrationenXIV, 318 p. 7 illus.
Artikel-Nr.10589850
Rubriken