Sets and proofs:invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; ; |
Published: |
Cambridge University Press,
|
Publisher Address: | Cambridge |
Publication Dates: | 1999. |
Literature type: | Book |
Language: | English |
Series: |
London Mathematical Society lecture note series ; 258 |
Subjects: | |
Carrier Form: | ix, 436 p.: ill. ; 23 cm. |
ISBN: | 0521635497 (pbk.) |
Index Number: | O144 |
CLC: |
O144-532 O141.2-532 O141-532 |
Call Number: | O141-532/L832.2/1997/ |
Contents: | Includes bibliographical references. |