Kritický výklad symbolické metody moderní logiky. - Kolman, Arnošt, 1892-1979 (Praha, 1948)
Záznam revízie