Finite Model Theory: Second Edition
Ebbinghaus, Heinz-Dieter; Flum, Jorg
€ 218.50
FREE Delivery in Ireland
Description for Finite Model Theory: Second Edition
hardcover. Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixed-point logic, transitive closure logic, and certain infinitary languages. Series: Springer Monographs in Mathematics. Num Pages: 360 pages, biography. BIC Classification: PBWH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1550.
Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of formalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, settheoretic, . . . ) properties of its models on the other hand. As it turned out, ... Read more
Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of formalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, settheoretic, . . . ) properties of its models on the other hand. As it turned out, ... Read more
Product Details
Format
Hardback
Publication date
2005
Publisher
Springer Germany
Number of pages
360
Condition
New
Series
Springer Monographs in Mathematics
Number of Pages
360
Place of Publication
Berlin, Germany
ISBN
9783540287872
SKU
V9783540287872
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Finite Model Theory: Second Edition