Zaslat SMS: Contributions to mathematical logic: