Author: Tagung zur Problemtheorie, 2d, Universität Rostock 1969