18 May
2005
18 May
'05
5:10 p.m.
On Wed, 18 May 2005, Hiroyuki Miyoshi wrote:
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?
The thesis is reprinted, together with a commentary in English by Mac Lane, in his Selected Papers published in 1979 by Springer-Verlag. Peter Johnstone 23-May-2005 19:32:11 -0300,1697;000000000000-0000000d