Mathematical Logic as Based on the Theory of Types — scientific article published in 1908