Title: Outline of Mathematical Logic