Lectures on Modern Logic