Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss.

Saved in:

Bibliographic Details
Corporate Authors:	Logic Colloquium Leeds, England, Association for Symbolic Logic
Other Authors:	Cooper, S. B. (S. Barry), Truss, J. K.
Format:	Conference Proceeding Book
Language:	English
Published:	New York : Cambridge University Press, 1999.
Series:	London Mathematical Society lecture note series ; 258
Subjects:	Set theory > Congresses. Proof theory > Congresses.

Holdings details from Science Library
Call Number:	QA248 .L634 1997
Copy 1	Available

Similar Items