Describir: Teorija deduktivnych sistem i jeje primenenija