A faculty member in my department asked about using WeBWorK for a Introduction to Mathematical Logic course—this is an introductory course that focuses on propositional and first-order logic, and is largely concerned with theorems and proofs. It's taught from Enderton, in case that is useful for describing the course.
His thought was that there were a lot of logical proofs that students should be constructing in the course which would be easily tested in WeBWorK. The problems in the OPL for Logic appear generally to be at a much lower level than this. Does anyone know of work on the subject that wouldn't be apparent when browsing the OPL?