Michael Beeson

Michael Beeson

San José State University - San José / United States
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1647101
person_outline Michael Beeson's MOST POPULAR ARTICLES
1-) Foundations of constructive mathematics: Metamathematical studiesMJ BeesonSpringer Science & Business Media, 201214302012
2-) Design Principles of Mathpert: Software to support education in algebra and calculusM BeesonComputer-human interaction in symbolic computation, 163-177, 19981181998
3-) Proving programs and programming proofsMJ BeesonStudies in Logic and the Foundations of Mathematics 114, 51-82, 1986771986
4-) Recursive models for constructive set theoriesM BeesonAnnals of Mathematical Logic 23 (2-3), 127-178, 1982681982
5-) Continuity in intuitionistic set theoriesM BeesonStudies in Logic and the Foundations of Mathematics 97, 1-52, 1979661979