SMS: A Course in mathematical Logic for mathematicians