Title: Metoda transformací logických formulí
Subjects: Symbolic and mathematical Logic