Jubileumboek August Heyting 1879-1939. (Den Haag, 1939)