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

 

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

© Автор статьи.