Работы В.А. Смирнова по теории доказательствстатья