Cover Image
Read Now

1
by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Logics with Fixed-Point Operators -- Logic Programs -- Optimization Problems -- Logics for PTIME...”
Cover Image
Read Now

2
by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995
Springer Berlin Heidelberg
Table of Contents: “.... Descriptive Complexity Theory -- 7. Logics with Fixed-Point Operators -- 8. Logic Programs -- 9. Optimization...”
Cover Image
Read Now

3
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Springer International Publishing
Table of Contents: “... -- IX Extensions of First-Order Logic -- X Computability and Its Limitations -- XI Free Models and Logic...”