000 00988nam a2200313Ia 4500
003 OSt
005 20220912151321.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
020 _a0521635497 (pbk)
024 _a6244
037 _bSelectbook,
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R1), N9
100 _aCooper S Barry Ed
245 0 _aSets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997
260 _aCambridge
_bCambridge University Press
_c1999
300 _aix,436
490 _aLondon Mathematical Society lecture note series; 258
500 _aIncludes bibliographical references
650 _a Logic
650 _aMathematics
700 _a Truss John K Ed
942 _hB:(R1), N9
_cTEXL
_2CC
999 _c65848
_d65848