Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 - Muller, Ger Heinz 1923- (Springer, 1964)