Yuri Arabov, "Thoughts on Formal Logic"