01295nam0-22003971i-450-99000134881040332120070201141836.00-521-63549-7000134881FED01000134881(Aleph)000134881FED0100013488120001205d1999----km-y0itay50------baengSETS and proofsinvited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997edited by S. Barry Cooper, John K. TrussCambridgeCambridge University Pressc1999ix, 436 p.23 cmLondon Mathematical Society lecture note series258Logica matematicaCongressiTeoria degli insiemiCongressiTeoria della dimostrazioneCongressi511.322Cooper,S. BarryTruss,John K.Logic colloquium<1997 ;Leeds, England>350816Association for symbolic logicITUNINARICAUNIMARCBK990001348810403321C-9-(25817070MA1MA103-0603EXX03FXXSETS and proofs376116UNINA