Jubileumboek August Heyting 1879-1939 / [uitgeefster: J.C. Heyting-Tjebbes]