Limitations in the Understanding of Mathematical Logic by Novice Computer Science Students
