Carnegie Mellon now has several free course. These are very complete including computerized grading. The logic and Proof appears to be a good companion for those who have had little to no proof experience.
http://oli.web.cmu.edu/jcourse/webui/free.do
skip to main |
skip to sidebar
Blog written by three brainy, witty family characters! Sometimes we think too much! But we can not guarantee crrect typing or sepllign!
