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

(Машина Поста): Частный случай машины Тьюринга.