Publication | Closed Access

A suggested alternative formulation in the developments by Hursch, Hammond, and Hursch, and by Hammond, Hursch, and Todd.

Suggested Alternative FormulationMathematical FoundationsMathematical ModelFoundation Of MathematicsHigher-order Logic