Author: Tagung zur Problemtheorie (2nd 1969 Rostock)