17 May
2005
17 May
'05
8:34 p.m.
Dear all, I have just finished translating S. Mac Lane's "Categories for the Working Mathematician" in Japanese and it will be published in June or July. However, my publisher (Springer-Verlag Tokyo) ask me to explain the title and short summary of his PhD thesis "Abbreviated Proofs in the Logical Calculus" in Japanese for his biographical note within a week. It is very old and I don't have enough time to explore it. Does anyone know information about it? Best regards, ---- Hiroyuki Miyoshi Professor of Computer Science, Ph.D. Department of Computer Science, Kyoto Sangyo University Kyoto 603-8555, Japan +81-75-705-1463 (tel), +81-75-705-1640 (fax) hxm@cc.kyoto-su.ac.jp 18-May-2005 16:59:34 -0300,2527;000000000000-0000000a