@Book{266374433,
editor="Cooper, Stuart B.",
title="Sets and proofs: invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997",
series="Lecture note series / London Mathematical Society 258",
year="1999",
publisher="Cambridge Univ. Press",
address="Cambridge [u.a.]",
keywords="Set theory; Congresses; Proof theory",
note="ed. by S. Barry Cooper; John K. Truss",
note="Literaturangaben",
isbn="0521635497",
language="English"
}