Table of contents for Elements of finite model theory / Leonid Libkin.

Bibliographic record and links to related information available from the Library of Congress catalog

Information from electronic data provided by the publisher. May be incomplete or contain other coding.

Introduction.- Preliminaries.- Ehrenfeuch-Fraissé Games.- Locality and Winning Games.- Ordered Structures.- Complexity of First-Order Logic.- Monadic Second Order Logic and Automata.- Logics with Counting.- Turing Machines and Finite Models.- Fixed Point Logics and Complexity Classes.- Finite Variable Logics.- Zero-one Laws.- Embedded Finite Models.- Other Applications of Finite Model Theory.- References.- List of Notations.- Index.- Name Index.

Library of Congress subject headings for this publication:
Model theory.