Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem.
(Czech) [Logic from A to G. A sketch for a mathematician's mechanical helper, flippantly annotated by a working mathematician].Pokroky matematiky, fyziky a astronomie,
vol. 27
(1982),
issue 2,
pp. 93-101