left up

Practical issues

We now move on to issues of system engineering. These largely cut across the divisions that spring up over set theory versus type theory, classical versus constructive logic, and so on. Generally, the same kinds of problems need to be solved in each case, though to be sure, they differ in detail and in severity.

left right up home John Harrison 96/8/13; HTML by 96/8/16