by Yu.V. Matiyasevich "Real Numbers and Computers"

informing of sending over the sheet of Figure 2.1 that was not enclosed in the draft

by M.Miyakawa "Optimum Desisin Trees - an optimum variable teorem and its related applications", sent to Ershov for reviewing

on the papers by T.Kowaltowski and S.Tsur

on "Generalised extended entry decision tables" by D.J.H.Brown with recommendation for publication (handwritten)

of the papers submitted to Acta Informatica journal

of the Acta Informatica journal

on the paper by Jerre D. Noe