Základy formální logiky. - JANÁK, V. (1973)