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

(Контекстно-независимые обозначения): .