Teaching mathematics through formalism: a few caveats (1996)

by T Franzen
Venue:Proceedings of the DIMACS Symposium on Teaching Logic. DIMACS