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

Рекурсивное определение: .