Влияние теории формальных доказательств на различные правовые системыдоклад на конференции