Computational predicates like 'polynomial-time computable' depend on interpretation of primitive ter...
This proposition has not been edited since the history system was added.