P
Initializing...
Cook, Definition 3 — polynomial-time computable functions are closed under composition · Prove2Me