Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008164704/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b11354010.
- catalog contributor b11354011.
- catalog contributor b11354012.
- catalog contributor b11354013.
- catalog created "1999.".
- catalog date "1999".
- catalog date "1999.".
- catalog dateCopyrighted "1999.".
- catalog description "Includes bibliographical references.".
- catalog extent "ix, 436 p. :".
- catalog identifier "0521635497 (pbk.)".
- catalog isPartOf "London Mathematical Society lecture note series ; 258".
- catalog issued "1999".
- catalog issued "1999.".
- catalog language "eng".
- catalog publisher "New York : Cambridge University Press,".
- catalog subject "511.3/22 21".
- catalog subject "Proof theory Congresses.".
- catalog subject "QA248 .L634 1997".
- catalog subject "Set theory Congresses.".
- catalog title "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.".
- catalog type "text".