Summer institute on set theoretic topology (Summary of Lectures and seminars, 1955)