Cooper S Barry Ed

Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997 Cooper S Barry Ed; Truss John K Ed - Cambridge Cambridge University Press 1999 - ix,436 - London Mathematical Society lecture note series; 258 .

Includes bibliographical references

0521635497 (pbk)

6244

Selectbook, Textual


Logic
Mathematics

B:(R1), N9