Home Page - Metamathhttps://us.metamath.org/
logic. New Foundations Explorer - Constructs mathematics from scratch, starting from Quine's NF set theory axioms. Higher-Order Logic Explorer - Starts with HOL (also called simpl
Henri Picciotto's Résumé | MathEd.pagehttps://www.mathed.page/resume/
2002 "Building Visual Foundations for Calculus", with Richard Lautze California Math Council, Northern Section, Asilomar, December 2001 "Le diagramme-fonction et la géom&eg
Henri Picciotto's CV: math educator, teacher, department chair, curriculum developer, author, consultant, presenter, workshop leader, cryptic crossword constructor'
All links @ cidoku.nethttp://cidoku.net/en/links/all
Set Theory and Foundations of Mathematics An online textbook on set theory, algebra, formal arithmetic, etc. PlanetMath A mathematics encyclopedia. Wolfram MathWorld Another big o
Todos los enlaces @ cidoku.nethttp://cidoku.net/links/all
Set Theory and Foundations of Mathematics An online textbook on set theory, algebra, formal arithmetic, etc. PlanetMath A mathematics encyclopedia. Wolfram MathWorld Another big o
Find more...