zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 383-402 (1999).
MSC:  03F50
BibTeX Cite

Filter Results by …

Document Type
Year of Publication