Publication | Closed Access
A suggested alternative formulation in the developments by Hursch, Hammond, and Hursch, and by Hammond, Hursch, and Todd.
360
Citations
3
References
1964
Year
Suggested Alternative FormulationMathematical FoundationsMathematical ModelFoundation Of MathematicsHigher-order Logic
| Year | Citations | |
|---|---|---|
Page 1
Page 1