אנגלית ⇄ אוקראינית גרמנית ליטאית סינית רוסית +

proof theory
.טכנול	įrodymų teorija