000			01572n a2200385#a 4500
001			29936
005			20240404163609.0
008			990203s1999 enka b 100 0 eng||
010			_a99019676
015			_aGB99-51164
020			_a0521635497 (pbk.)
035			_a(OCoLC
040			_aDLC _cDLC _dC#P _dUKM _dPMC _dFPU _dOCLCQ
082	0	0	_a511.322 _bS495
090			_alf3cs
245	0	0	_aSets and proofs: _binvited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/ _cedited by S. Barry Cooper, John K. Truss.
260			_aCambridge, UK; _aNew York: _bCambridge University Press, _c1999.
300			_aix, 436 p.: _bill.; _c23 cm.
504			_aIncludes bibliographical references.
650	0	0	_aProof theory _xCongresses. _918610
650	0	4	_aSet theory _xCongresses. _926660
650	0	4	_aProof theory _xCongresses. _918610
650	0	7	_2ram _aEnsembles, théorie des. _929329
650	0	7	_2ram _aPreuve, théorie de la. _930232
697			_aLógica e Fundamentos 03- _bCongressos e Seminários- _xTeoria dos Conjuntos _923832
700	1		_aCooper, S. B. _q(S. Barry) _915131
700	1		_aTruss, J. K. _915605
710	2		_aAssociation for Symbolic Logic. _944941
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/description/cam029/99019676.html
856	4	1	_3Table of contents _uhttp://www.loc.gov/catdir/toc/cam027/99019676.html
942			_2impa _cBK
949			_a200533094
999			_c29014 _d29014
490		0	_aLondon Mathematical Society lecture note series; _v258 _97320