Zaslať SMS: Teorija deduktivnych sistem i jego primenenija