|
|
|
|
LEADER |
00000cam a22000008a 4500 |
001 |
b1392370 |
003 |
MWH |
005 |
19990210144808.4 |
008 |
990203s1999 nyua b 100 0 eng |
010 |
|
|
|a 99019676
|
020 |
|
|
|a 0521635497 (pbk.)
|
035 |
0 |
0 |
|i LCMARC/AXL-6245/JMUSHINS
|
040 |
|
|
|a DLC
|c DLC
|
090 |
|
|
|a QA248 .L634 1997
|
111 |
2 |
|
|a Logic Colloquium
|d (1997 :
|c Leeds, England)
|
245 |
1 |
0 |
|a Sets and proofs :
|b invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
|c edited by S. Barry Cooper, John K. Truss.
|
260 |
|
|
|a New York :
|b Cambridge University Press,
|c 1999.
|
263 |
|
|
|a 9904
|
300 |
|
|
|a ix, 436 p. :
|b ill. ;
|c 23 cm.
|
440 |
|
0 |
|a London Mathematical Society lecture note series ;
|v 258
|
504 |
|
|
|a Includes bibliographical references.
|
650 |
|
0 |
|a Set theory
|v Congresses.
|
650 |
|
0 |
|a Proof theory
|v Congresses.
|
700 |
1 |
|
|a Cooper, S. B.
|q (S. Barry)
|
700 |
1 |
|
|a Truss, J. K.
|
710 |
2 |
|
|a Association for Symbolic Logic.
|
907 |
|
|
|a .b13923705
|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 AEL-2099
|
945 |
|
|
|f - -
|g 1
|h 0
|i 38400002710976
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 0
|v 0
|w 0
|x 0
|y .i14749531
|z 10-04-03
|
999 |
f |
f |
|i 95c8ad33-66c5-55d4-8ee8-706cc311313c
|s de84171e-3357-559a-9c5d-70c67f0ab7c5
|
952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|e QA248 .L634 1997
|h Other scheme
|i Book
|m 38400002710976
|n 1
|