Ebook: Finite Model Theory
- Genre: Mathematics // Logic
- Tags: Mathematical Logic and Foundations, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages
- Series: Perspectives in Mathematical Logic
- Year: 1995
- Publisher: Springer
- City: Berlin Heidelberg
- Edition: 1st
- Language: English
- pdf
Content:
Front Matter....Pages I-XV
Preliminaries....Pages 1-12
The Ehrenfeucht-Fra?ss? Method....Pages 13-35
More on Games....Pages 37-70
0–1 Laws....Pages 71-96
Satisfiability in the Finite....Pages 97-105
Finite Automata and Logic: A Microcosm of Finite Model Theory....Pages 107-118
Descriptive Complexity Theory....Pages 119-163
Logics with Fixed-Point Operators....Pages 165-234
Logic Programs....Pages 235-264
Optimization Problems....Pages 265-274
Quantifiers and Logical Reductions....Pages 275-311
Back Matter....Pages 313-327
Content:
Front Matter....Pages I-XV
Preliminaries....Pages 1-12
The Ehrenfeucht-Fra?ss? Method....Pages 13-35
More on Games....Pages 37-70
0–1 Laws....Pages 71-96
Satisfiability in the Finite....Pages 97-105
Finite Automata and Logic: A Microcosm of Finite Model Theory....Pages 107-118
Descriptive Complexity Theory....Pages 119-163
Logics with Fixed-Point Operators....Pages 165-234
Logic Programs....Pages 235-264
Optimization Problems....Pages 265-274
Quantifiers and Logical Reductions....Pages 275-311
Back Matter....Pages 313-327
....
Download the book Finite Model Theory for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)