Enlarge

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Publication Data

Title Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Contributors S. B. Cooper, J. K. Truss, Association for Symbolic Logic
Publisher Cambridge University Press
Publication date 1999
Publication location Cambridge
Language English

Topics

Set theory :: Congresses
Proof theory :: Congresses

Catalogue Data

OBNB ID GB9951164
ISBN 10 0521635497
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.322

ISBD

P1053 ix, 436p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. ISBN 0521635497. Published by Cambridge University Press in 1999. Publication and catalogue information, links to buy online and reader comments.