Also, "Mathemathics for Computer Science" course from the MIT has a very nice introduction on proofs. Excellent book: http://news.ycombinator.com/item?id=193504

Also, "Mathemathics for Computer Science" course from the MIT has a very nice introduction on proofs. Excellent book: http://news.ycombinator.com/item?id=1935049 http://news.ycombinator.com/item?id=1935049