... a notion similar to Alan Bundy's proof plans (Bundy, 1988), ... moreover these steps are no more discrete or discontinuous than those of the walker.
確定! 回上一頁