mathematical logic lecture notes pdf