1. Bočvar, D. A. 1939. “Ob odnom tréhznačnom isčislénii i égo priménénii k analizu paradoksov klassičeskogo rasširénnogo funkcional’nogo isčisléniá”. Matématičéskij sbornik 4: 287–308. Trans. by Merrie Bergmann as “On a Three-valued Logical Calculus and Its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus”. History and Philosophy of Logic 2 (1981): 87–112.