Hay unos cuantos juegos matemáticos/lógicos que la gente de WFF 'N Proof tiene por ahí. No voy a enlazar a Ecuaciones, porque creo que ese juego es el menos probable que resulte interesante para estudiantes universitarios (pero tal vez me equivoque).
Sólo he jugado WFF 'N Proof . Pero, diré que te enseña cálculo proposicional y te ayuda a construir tus propios sistemas lógicos.
Tienen un juego llamado En platós que te ayuda a aprender la teoría de conjuntos.
A Números reales juego... que no creo que te enseñe sobre secuencias de Cauchy o cortes de Dedekind, pero probablemente siga teniendo valor.
Un juego llamado Configuraciones que tiene una secuencia de puzzles geométricos basados en un libro sobre Geometría Proyectiva llamado La Geometría de la Incidencia que puedes encontrar en su página web o en Amazon o posiblemente en su biblioteca.
También tienen un juego/puzzle topológico solitario llamado QWIK-SANE .