|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
b1387543 |
| 003 |
MWH |
| 005 |
19980917101905.8 |
| 008 |
980424s1998 nyu b 001 0 eng |
| 010 |
|
|
|a 98018922
|
| 020 |
|
|
|a 0444898409 (alk. paper)
|
| 035 |
0 |
0 |
|i LCMARC/AWN-5682/VFAY
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|
| 049 |
|
|
|a HCQQ
|
| 090 |
|
|
|a QA9.54 .H35 1998
|
| 245 |
0 |
0 |
|a Handbook of proof theory /
|c edited by Samuel R. Buss.
|
| 260 |
|
|
|a New York :
|b Elsevier,
|c 1998.
|
| 300 |
|
|
|a 811 p.;
|c 23 cm.
|
| 440 |
|
0 |
|a Studies in logic and the foundations of mathematics ;
|v v. 137
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 650 |
|
0 |
|a Proof theory.
|
| 700 |
1 |
|
|a Buss, Samuel R.
|
| 907 |
|
|
|a .b13875437
|b 10-10-11
|c 10-04-03
|
| 998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g nyu
|h 0
|i 1
|
| 995 |
|
|
|a MARION AEJ-6702
|
| 945 |
|
|
|f - -
|g 1
|h 0
|i 38400002690194
|j - -
|k - -
|l hqref
|o -
|p $0.00
|q -
|r -
|s o
|t 1
|u 0
|v 0
|w 0
|x 0
|y .i14699758
|z 10-04-03
|
| 999 |
f |
f |
|i 064dbdfd-aaac-5336-b94a-d0ec4b72de61
|s 67d1d671-8bbc-56af-90b1-e2b31a912a95
|t 0
|
| 952 |
f |
f |
|p In Library Use
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library - Reference
|t 0
|e QA9.54 .H35 1998
|h Other scheme
|i Book
|m 38400002690194
|