Finite model theory /

Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixed-point logic, transitive closu...

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:	New York, NY : Springer, 2005.
Edition:	2nd rev. and enl. ed. 1999.
Series:	Springer monographs in mathematics.
Subjects:	Model theory. Electronic books.
Online Access:	Connect to the full text of this electronic book