Beeson, Michael J., 1945-
URI(s)
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His Foundations of constructive mathematics, 1984:CIP t.p. (Michael J. Beeson) introd. (Michael Beeson) data sheet (b. 8-19-45)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1984-05-16: new
- 2012-07-03: revised
Alternate Formats