Словарь по логике

Точный фрагмент теории T в языке L: TL.