Metoda transformací logických formulí / Hilbert Rott. -- 1. vyd. -- Praha : Academia, 1989. -- 126 s. : 101 obr. Res. ruské a anglické. -- (Studie ČSAV, č. 13). -- ISBN 80-200-0107-7. logika