Title: Aspects of Modern Logic