Hacker News new | ask | show | jobs
by neilc 5148 days ago
I would be surprised to find second order logic discussed in an introductory discrete math curriculum.