[vbtemp]

I consider a solid discrete math curriculum to provide a reasonable background in first and second order logic

[neilc]

I would be surprised to find second order logic discussed in an introductory discrete math curriculum.