Логика ограниченной выводимостидоклад на конференции