New Foundations for Mathematical Logic — latest news, discussion & facts — IJR