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

Пост

Э.Л. Пост, E.L. Post: Математик и логик. Один из родоначальников многозначной логики. Его именем назван ряд понятий математической логики: алгебра Поста, каноническая система Поста, класс Поста, машина Поста, нормальная система Поста, система репродукций Поста.