Finite model theory /

Finite model theory has its origins in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their comp...

Full description

Bibliographic Details

Main Author:	Ebbinghaus, Heinz-Dieter, 1939-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Flum, Jörg
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Perspectives in mathematical logic.
Subjects:	Model theory. classe complexité. logique 1er ordre. isomorphisme. théorie modèle. Logica. Modèles, théorie des. Mathematical models Electronic books.
Online Access:	Connect to the full text of this electronic book