SMS: Methods in mathematical logic