Notes on Logic (Mathematics Studies)