Constructive Logic <==> Classic Logic

http://www.cs.stonybrook.edu/~cse371/

I must take some time to make this lecture note into a post...