Finite model theory /

Finite model theory /

Saved in:
Bibliographic Details
Author / Creator:Ebbinghaus, Heinz-Dieter, 1939-
Imprint:Berlin ; New York : Springer, c1995.
Description:xv, 327 p. : ill. ; 24 cm.
Language:English
Series:Perspectives in mathematical logic.
Subject:
Model theory.
Model theory.
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/2414449
Hidden Bibliographic Details
Other authors / contributors:Flum, Jörg.
ISBN:354060149X
Notes:Includes bibliographical references (p. [313]-317) and index.

MARC

LEADER 00000cam a2200000 a 4500
001 2414449
003 ICU
005 20030521073200.0
008 960216s1995 gw a b 001 0 eng u
010 |a  95035175  
020 |a 354060149X 
035 |a (ICU)BID21602824 
040 |a DLC  |c DLC  |d DLC  |d OrLoB-B  |d OCoLC 
041 0 |a eng 
050 0 0 |a QA9.7  |b .E23 1995 
082 0 0 |a 511.3  |2 20 
100 1 |a Ebbinghaus, Heinz-Dieter,  |d 1939-  |0 http://id.loc.gov/authorities/names/n83151116  |1 http://viaf.org/viaf/108792446 
245 1 0 |a Finite model theory /  |c Heinz-Dieter Ebbinghaus, Jörg Flum. 
260 |a Berlin ;  |a New York :  |b Springer,  |c c1995. 
300 |a xv, 327 p. :  |b ill. ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a unmediated  |b n  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/n 
338 |a volume  |b nc  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/nc 
440 0 |a Perspectives in mathematical logic. 
504 |a Includes bibliographical references (p. [313]-317) and index. 
505 0 0 |g 1.  |t The Ehrenfeucht-Fraisse Method --  |g 2.  |t More on Games --  |g 3.  |t 0-1 Laws --  |g 4.  |t Satisfiability in the Finite --  |g 5.  |t Finite Automata and Logic: A Microcosm of Finite Model Theory --  |g 6.  |t Descriptive Complexity Theory --  |g 7.  |t Logics with Fixed-Point Operators --  |g 8.  |t Logic Programs --  |g 9.  |t Optimization Problems --  |g 10.  |t Quantifiers and Logical Reductions. 
650 0 |a Model theory.  |0 http://id.loc.gov/authorities/subjects/sh85086421 
650 7 |a Model theory.  |2 fast  |0 http://id.worldcat.org/fast/fst01024368 
700 1 |a Flum, Jörg.  |0 http://id.loc.gov/authorities/names/n78096619  |1 http://viaf.org/viaf/54214837 
901 |a ToCBNA 
903 |a HeVa 
903 |a Hathi 
035 |a (OCoLC)32853963 
929 |a cat 
999 f f |i d265dc3f-61a1-5f44-bf51-85449170612a  |s 59d19109-6b50-589e-93a3-a07fa7b7ca54 
928 |t Library of Congress classification  |a QA9.7.E230 1995  |l Eck  |c Eck-Eck  |i 6031721 
927 |t Library of Congress classification  |a QA9.7.E230 1995  |l Eck  |c Eck-Eck  |b 43242273  |i 4570136 

Similar Items