Review of Modern Logic