A predicate P represents a function f if P(x1,...,xn,y) is true iff…
Sign in to your account
Remember me
