Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/
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.
- Cambridge, UK; New York: Cambridge University Press, 1999.
- ix, 436 p.: ill.; 23 cm.
- London Mathematical Society lecture note series; 258 .
Includes bibliographical references.
0521635497 (pbk.)
99019676
GB99-51164
Proof theory--Congresses.
Set theory--Congresses.
Proof theory--Congresses.
Ensembles, théorie des.
Preuve, théorie de la.
511.322 / S495
Includes bibliographical references.
0521635497 (pbk.)
99019676
GB99-51164
Proof theory--Congresses.
Set theory--Congresses.
Proof theory--Congresses.
Ensembles, théorie des.
Preuve, théorie de la.
511.322 / S495