Aliprantis, Charalambos D.; Burkinshaw, Owen Problems in real analysis. A workbook with solutions. 2nd ed. (English) Zbl 1006.28002 San Diego, CA: Academic Press. vii, 403 p. (1999). MSC: 28-01 00A07 28A12 28A15 28A20 28A25 46B42 46E10 46E30 PDFBibTeX XMLCite \textit{C. D. Aliprantis} and \textit{O. Burkinshaw}, Problems in real analysis. A workbook with solutions. 2nd ed. San Diego, CA: Academic Press (1999; Zbl 1006.28002)
Cellucci, Carlo Mathematical logic: What has it done for the philosophy of mathematics? (English) Zbl 0877.03007 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 365-388 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{C. Cellucci}, in: Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 365--388 (1996; Zbl 0877.03007)
Aliprantis, Charalambos D.; Burkinshaw, Owen Problems in real analysis. A workbook with solutions. (English) Zbl 0706.28002 Boston, MA etc.: Academic Press, Inc. vii, 285 p. $ 29.95 (1990). Reviewer: Z.Grande MSC: 28-01 00A07 28A12 28A15 28A20 28A25 46B42 46E10 46E30 PDFBibTeX XMLCite \textit{C. D. Aliprantis} and \textit{O. Burkinshaw}, Problems in real analysis. A workbook with solutions. Boston etc.: Academic Press, Inc. (1990; Zbl 0706.28002)
Kasai, Takumi (ed.) Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005 RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985). MSC: 68-06 00B25 03-06 PDFBibTeX XML