Invia SMS: Studies and exercises in formal logic :