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

(Интуиционистская импликация): .