The calculi of symbolic logic - Orevkov, V. P. (Matematičeskij Institut Imeni V. A. Stekova <Moskva> : Proceedings of the Steklov Institute of Mathematics, 1971)