С.А. Яновская о способах исследования логических исчисленийтезисы доклада