Jubileumboek August Heyting 1879-1939. (1939)