Автор рассказывает о своем выступлении на семинаре по конструктивной логике в Ленинграде и о нынешней работе.