My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Book Cover
Author Logic Colloquium '97 (Leeds, England)

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.

Published Cambridge : Cambridge University Press, 1999.


Location Call No. Status
 UniM Bund  511.322 LOGI {Bund10 20110701}    AVAILABLE
Physical description ix, 436 p. : ill. ; 23 cm.
Series London Mathematical Society lecture note series ; 258
Bibliography Includes bibliographical references.
Other author Truss, J. K.
Cooper, S. B. (S. Barry)
Association for Symbolic Logic.
Subject Set theory -- Congresses.
Proof theory -- Congresses.
ISBN 0521635497 (pbk.) : No price