3 Loops, Path Schemas and Flatness 3.1 Computing Loop Effects in (PA) Let C ... For instance, if R = {(a, 2a) e N* : a e N} then R* = {(a,2°o) e N* : a, ...
確定! 回上一頁