What do you think?
Rate this book
Finite Model Theory: First Edition
0. Preliminaries.- 1. The Ehrenfeucht-Fraïssé Method.- 2. More on Games.- 3. 0-1 Laws.- 4. Satisfiability in the Finite.- 5. Finite Automata and A Microcosm of Finite Model Theory.- 6. Descriptive Complexity Theory.- 7. Logics with Fixed-Point Operators.- 8. Logic Programs.- 9. Optimization Problems.- 10. Quantifiers and Logical Reductions.- References.
344 pages, Paperback
Published March 12, 2014
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.