Mathematical Logic as Based on the Theory of Types — latest news, discussion & facts — IJR