Topics in Modern Logic