The calculi of symbolic logic - Orevkov, V. P. (American Mathematical Society, 1971)
Aus dem Russichen übersetzt - Ab vol. 2 u.d.T.: Logical and logico-mathematical calculi