01344nam a2200337 i 450099100134084970753620020507191706.0001106s1999 uk ||| | eng 0521635497b1083400x-39ule_instLE01310791ExLDip.to Matematicaeng511.3AMS 03-06Logic colloquium <1997 ; Leeds, England>350816Sets and proofs :invited papers from Logic Colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, July 1997 /edited by S. Barry Cooper, John K. TrussCambridge :Cambridge University Press,1999ix, 436 p. :ill. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;258Includes bibliographical referencesProof theoryCongressesSet theoryCongressesCooper, S. BarryTruss, J. K.Association for Symbolic Logic.b1083400x23-02-1728-06-02991001340849707536LE013 03-XX COO12 (1999)12013000122892le013-E0.00-l- 00000.i1094327428-06-02SETS and proofs376116UNISALENTOle01301-01-00ma -enguk 01