Title: Sets and proofs
First published: 1999
Subjects: Congresses, Set theory, Proof theory
LC classification: QA248 .L634 1997