Lectures In Logic And Set Theory. Volume 1: Mathematical Logic