Text this: Teorija deduktivnych sistem i jeje primenenija