Попов, В.М. «Паранепротиворечивые секвенциальные исчисления.». Логические исследования 10 (апрель 22, 1993): 97-100. просмотрено апрель 5, 2025. https://logicalinvestigations.ru/article/view/9.