Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Finite Model Theory

Name: Finite Model Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561114
Price: 73393 HUF
Availability: InStock
Author: Heinz-Dieter Ebbinghaus
ISBN: 9783540287872

Heinz-Dieter Ebbinghaus

Jörg Flum

Language

English

Book Hardback

Libristo code: 01561114

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2005

Finite model theory has roots in classical model theory, but owes its systematic development to rese... Full description

Libristo code: 01561114

504 b

73 393 Ft

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Asphalt Massaka 3 Farid Bang

Audio CD

9 157 Ft

MOLINS DEL COLLSACABRA FRANCESC ROMA I CASANOVAS

Hardback

6 362 Ft

principle of planetary revolution and rotation Liu Dongfeng Liu

Paperback

5 908 Ft

Finite model theory has roots in classical model theory, but owes its systematic development to research from complexity theory and database theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, optimization and approximation problems.§