History of logic - Makovelyskiy, A. O; Makovelyskiy, A. O (Nauka Moscow, 1967)
Keywords: R1v