Импликация в работах логиков первой половины XX столетиятезисы доклада