Heinz-Dieter Ebbinghaus : Finite model theory

Heinz-Dieter Ebbinghausin teos esittelee kuvailevan kompleksisuusteorian keskeisiä tuloksia, erityisesti äärellisten rakenteiden aksiomatisoitavuuden ja laskennallisen monimutkaisuuden välisiä yhteyksiä. Teoksessa perehdytään muun muassa kiintopistelogiikoihin, transitiivisen sulun logiikkoihin sekä DATALOG-kieliin.