The classical decision problem /

The classical decision problem /

Saved in:
Bibliographic Details
Author / Creator:Boerger, Egon, 1946-
Imprint:New York : Springer, 1997.
Description:xii, 492 p. ; 24 cm.
Language:English
Series:Perspectives in mathematical logic.
Subject:
Decidability (Mathematical logic)
Decidability (Mathematical logic)
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/2616340
Hidden Bibliographic Details
Other authors / contributors:Grädel, Erich, 1958-
Gurevich, Yuri.
ISBN:354057073X (hardcover : alk. paper)
Notes:Includes bibliographical references (p.[421]-476) and index.

MARC

LEADER 00000nam a2200000 a 4500
001 2616340
003 ICU
005 20030523130400.0
008 961001s1997 nyu b 001 0 eng
010 |a  96044426  
020 |a 354057073X (hardcover : alk. paper) 
035 |a (NhCcYBP)YBT 96044426 
035 |a (NhCcYBP)YBP40000537927 
040 |a DLC  |c DLC  |d DLC  |d OrLoB-B  |d OCoLC 
050 0 0 |a QA9.65  |b .B64 1997 
082 0 0 |a 511.3  |2 21 
100 1 |a Boerger, Egon,  |d 1946-  |0 http://id.loc.gov/authorities/names/n96097124  |1 http://viaf.org/viaf/91868953 
245 1 4 |a The classical decision problem /  |c Egon Boerger, Erich Grädel, Yuri Gurevich. 
260 |a New York :  |b Springer,  |c 1997. 
300 |a xii, 492 p. ;  |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.[421]-476) and index. 
505 0 0 |g 1.  |t Introduction: The Classical Decision Problem --  |g 2.  |t Reductions --  |g 3.  |t Undecidable Standard Classes for Pure Predicate Logic --  |g 4.  |t Undecidable Standard Classes with Functions or Equality --  |g 5.  |t Other Undecidable Cases --  |g 6.  |t Standard Classes with the Finite Model Property --  |g 7.  |t Monadic Theories and Decidable Standard Classes with Infinity Axioms --  |g 8.  |t Other Decidable Cases --  |g Appendix.  |t Tiling Problems. 
650 0 |a Decidability (Mathematical logic)  |0 http://id.loc.gov/authorities/subjects/sh85036191 
650 7 |a Decidability (Mathematical logic)  |2 fast  |0 http://id.worldcat.org/fast/fst00888990 
700 1 |a Grädel, Erich,  |d 1958-  |0 http://id.loc.gov/authorities/names/n96097127  |1 http://viaf.org/viaf/115295085 
700 1 |a Gurevich, Yuri.  |0 http://id.loc.gov/authorities/names/n93015956  |1 http://viaf.org/viaf/15336161 
901 |a ToCBNA 
903 |a HeVa 
035 |a (OCoLC)154347527 
929 |a cat 
999 f f |i 6936adb1-7c4f-56ba-bf56-a6507dafaa6f  |s 45f41192-961a-5e1c-84ac-5a119e64b11c 
928 |t Library of Congress classification  |a QA9.65 .B64 1997  |l Eck  |c Eck-Eck  |i 3016824 
927 |t Library of Congress classification  |a QA9.65 .B64 1997  |l Eck  |c Eck-Eck  |b 44785113  |i 4808554 

Similar Items