|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
b1367679 |
| 003 |
MWH |
| 005 |
19970131125446.9 |
| 008 |
961001s1997 nyua b 001 0 eng |
| 010 |
|
|
|a 96044426
|
| 020 |
|
|
|a 354057073X (hardcover : alk. paper)
|
| 035 |
0 |
0 |
|i LCMARC/AUY-8890/TGIORDAN
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|
| 090 |
|
|
|a QA9.65 .B64 1997
|
| 100 |
1 |
|
|a Börger, E.
|q (Egon),
|d 1946-
|
| 245 |
1 |
4 |
|a The classical decision problem /
|c Egon Börger, Erich Grädel, Yuri Gurevich.
|
| 260 |
|
|
|a New York :
|b Springer,
|c 1997.
|
| 300 |
|
|
|a xii, 482 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Perspectives in mathematical logic
|
| 504 |
|
|
|a Includes bibliographical references (p.[421]-476) and index.
|
| 650 |
|
0 |
|a Decidability (Mathematical logic)
|
| 700 |
1 |
|
|a Grädel, Erich,
|d 1958-
|
| 700 |
1 |
|
|a Gurevich, Yuri.
|
| 907 |
|
|
|a .b13676799
|b 05-23-16
|c 10-04-03
|
| 998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g nyu
|h 4
|i 1
|
| 995 |
|
|
|a MARION ACW-6322
|
| 945 |
|
|
|f - -
|g 1
|h 0
|i 38400002359543
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 0
|v 0
|w 0
|x 0
|y .i14471978
|z 10-04-03
|
| 999 |
f |
f |
|i 56666082-8a08-5690-8027-2286cb694c5a
|s fb430e6e-0152-5579-bab6-b2b645479cb1
|t 0
|
| 952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|t 0
|e QA9.65 .B64 1997
|h Other scheme
|i Book
|m 38400002359543
|