On the Rabin’s speed-up of proofs for some systems of first order logic

В статье рассматривается понятие стандартной теории. Для ряда систем исчисления предикатов первого порядка доказано, что они являются стандартными. На основе понятия стандартной теории проведен анализ сложности выводов в указанных системах.