Machine generated authority record.
Work cat.: (OSt): Stoll, Robert R. 127010, Set theory and Logic, 1961
