Исчисление высказываний в логических исследованиях школы Д. Гильбертадоклад на конференции