Title: O proveri͡ai͡ushchikh testakh dli͡a logicheskikh skhem
Subjects: Symbolic and mathematical Logic