Истоки формализма в оценке доказательствдоклад на конференции