Works on Logic and Methodology of Science by V. A. Smirnov