Home › Authors › Logic Colloquium (1997 Leeds, England) 👤 Logic Colloquium (1997 Leeds, England) 1 book Books by Logic Colloquium (1997 Leeds, England) Sets and proofs 1999