Некорректность базисной логики предикатов относительно сильного варианта строгой примитивно-рекурсивной реализуемостидоклад на конференции