Sets and proofs

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

Verfasser / Beitragende:
ed.by S. Barry Cooper ... [et al.]
Ort, Verlag, Jahr:
Cambridge : Cambridge University Press, 1999
Beschreibung:
436 S.
Format:
Buch (Kongress)
ID: 270509623