×

zbMATH — the first resource for mathematics

Found 16 Documents (Results 1–16)

100
MathJax
Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 591-609 (2004).
MSC:  03A05
PDF BibTeX XML Cite
Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 121-136 (2001).
PDF BibTeX XML Cite
Full Text: Link