- Mathematical Induction in Otter Lambda Michael Beeson
- Double-Negation Elimination in Some Propositional Michael Beeson
- Supplement to Lambda Logic Michael Beeson
- Pacific Journal of Mathematics Vol. 118, No. 1, 1985
- Comments on my 6 paper Michael Beeson
- Solving For Functions Michael Beeson
- The Mechanization of Mathematics Michael Beeson1
- Lambda Logic Michael Beeson
- December 7, 2004 19:40 WSPC/INSTRUCTION FILE esfor International Journal on Artificial Intelligence Tools
- Article Submitted to Journal of Symbolic Computation The meaning of infinity in calculus
- Implicit and Explicit Typing in Lambda Logic Michael Beeson1
- Implicit Typing in Lambda Logic Michael Beeson1
- No triangle can be decomposed into seven congruent triangles
- Tiling triangle ABC with congruent triangles similar to ABC
- A Real-Analytic Jordan Curve Cannot Bound Infinitely Many Relative Minima of Area
- Constructivity, Computability, and the Continuum Michael Beeson
- A Real-Analytic Jordan Curve Cannot Bound Infinitely Many Relative Minima of Area
- No triangle can be decomposed into seven congruent triangles
- Pacific Journal of Mathematics Vol. 118, No. 1, 1985
- Supplement to Lambda Logic Michael Beeson *
- Lambda Logic Michael Beeson
- Tiling a Triangle with Congruent Triangles Michael Beeson
- The Mechanization of Mathematics Michael Beeson1
- Tiling a Triangle with Congruent Triangles Michael Beeson
- Mathematical Induction in Otter Lambda Michael Beeson*
- Implicit and Explicit Typing in Lambda Logic Michael Beeson1?
- Double-Negation Elimination in Some Propositional Logics
- Solving For Functions Michael Beeson
- Constructivity, Computability, and the Continuum Michael Beeson
- The Parallel Postulate in Constructive Geometry Michael Beeson
- Implicit Typing in Lambda Logic Michael Beeson1
- Reality and Truth in Mathematics Michael Beeson
- |December|7, 2004 19:40 WSPC/INSTRUCTION FILE esfor * International Journal on Artificial Intelligence Tools
- Article Submitted to Journal of Symbolic Computation Automatic Derivation of the
- Article Submitted to Journal of Symbolic Computation The meaning of infinity in calculus
- Lambda Logic Michael Beeson *
- Lambda Logic Michael Beeson *
- Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations
- Triangle Tiling I Michael Beeson
- FOUNDATIONS OF EUCLIDEAN CONSTRUCTIVE GEOMETRY MICHAEL BEESON
- Triangle Tiling III Michael Beeson
- Triangle Tiling II Michael Beeson
- Logic of Ruler and Compass Constructions San Jose State University
- MathXpert: Learning Mathematics in the 21st Michael Beeson