Ganesalingam, Mohan The language of mathematics. A linguistic and philosophical investigation. (English) Zbl 1271.03004 Lecture Notes in Computer Science 7805. Berlin: Springer (ISBN 978-3-642-37011-3/pbk). xii, 277 p. (2013). Reviewer: Osamu Sonobe (Follonica) MSC: 03-02 00-02 68-02 00A30 03A05 03B65 68Q42 68T50 PDFBibTeX XMLCite \textit{M. Ganesalingam}, The language of mathematics. A linguistic and philosophical investigation. Berlin: Springer (2013; Zbl 1271.03004) Full Text: DOI
Nakata, Ikuo (ed.); Hagiya, Masami (ed.) Software science and engineering. Selected papers from the Kyoto Symposia, held at Kyoto Univ. and ASTEM RI/Kyoto during the years of 1986 through 1990. (English) Zbl 0824.68003 Series in Computer Science. 31. London: World Scientific Publishing. ix, 245 p. (1991). MSC: 68-06 00B25 68Q42 68Q60 68Q55 PDFBibTeX XMLCite \textit{I. Nakata} (ed.) and \textit{M. Hagiya} (ed.), Software science and engineering. Selected papers from the Kyoto Symposia, held at Kyoto Univ. and ASTEM RI/Kyoto during the years of 1986 through 1990. London: World Scientific Publishing (1991; Zbl 0824.68003)
Computation, computational complexity theory and related topics. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, January 30 - February 1, 1991. (Japanese, English) Zbl 0785.68004 RIMS Kôkyûroku. 754. Kyoto: Kyoto University, Research Institute for Mathematical Sciences, iv, 292 p. (1991). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite Computation, computational complexity theory and related topics. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, January 30 - February 1, 1991 (Japanese). Kyoto: Kyoto University, Research Institute for Mathematical Sciences (1991; Zbl 0785.68004)