1 option
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.
Math/Physics/Astronomy Library QA248 .L634 1997
Available
- Format:
- Book
- Conference/Event
- Conference Name:
- Logic Colloquium (1997 : Leeds, England)
- Series:
- London Mathematical Society lecture note series ; 258.
- London Mathematical Society lecture note series ; 258
- Language:
- English
- Subjects (All):
- Set theory--Congresses.
- Set theory.
- Proof theory--Congresses.
- Proof theory.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- ix, 436 pages : illustrations ; 23 cm.
- Place of Publication:
- Cambridge, U.K. ; New York : Cambridge University Press, 1999.
- Notes:
- Includes bibliographical references.
- ISBN:
- 0521635497
- OCLC:
- 40777013
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.