Title: Prikladnaja matematic eskaja logika