Математическая теория логического вывода. Matematicheskaya teoriya logicheskogo vyvodaAA.VV.EsauritoAvvisami
Střední Evropa 71 - Revue pro středoevropskou kulturu a politiky (Ročník třináctý červen 1997)Rudolf KučeraEsauritoAvvisami
