Two papers on symbolic logic : Form and content in quantification theory and Reductions in the theory of types / K. Jaakko J. Hintikka. 1.1.1955