Modern Logic~The Review of Modern Logic