Screen LibrarySets 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. |