Zaslat SMS: Methods in mathematical logic