jazyk logika veda prokop sousedik editor