Sets and proofs
invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Gespeichert in:
Verfasser / Beitragende:
ed.by S. Barry Cooper ... [et al.]
Ort, Verlag, Jahr:
Cambridge :
Cambridge University Press,
1999
Beschreibung:
436 S.
Format:
Buch (Kongress)