V. Pratt accepts invitation to speak on dynamic logic

with request to everyone enclosed in the mailing list of Laboratory for Computer Science, Massachusetts Institute of Technology, in the event of a change in address, to indicate his previous address together with new one in order to locate his file card expeditiously.

The author was saddened to hear the disease diagnosis, but he is happy for the addressee proceeded with his work. The author wishes quick recovery. He briefly writes about his work.

The author sends the letter from one of his students, Matt Wiener, who is interested in spending a year visiting and working in the USSR. He asks to help this student.