Revision history of "not backward Boolean implication(T,T) = F" (Z11227)
Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (гьамыъды) — отличия от текущей версии; (уьлихьде) — отличия от предшествующей версии; м — малые изменения.