Guides for Mathematical Logic