%0 Book
%T Sets and proofs: invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
%E Cooper, Stuart B.
%S Lecture note series / London Mathematical Society 258
%D 1999
%I Cambridge Univ. Press
%C Cambridge [u.a.]
%@ 0521635497
%G English
%F 266374433
%O ed. by S. Barry Cooper; John K. Truss
%O Literaturangaben
%L SK 130
%K Set theory
%K Congresses
%K Proof theory
%9 Text
%9 Konferenzschrift
%9 Konferenzschrift-1997-Leeds