Return to Article Details Неявная определимость в паранепротиворечивых расширениях минимальной логики. Download Download PDF