Book of Proof – An introduction to the methods of proving mathematical theorems
I'm interested in Common Logic (a form of First Order Logic that allows for some almost Second Order Logic activities)
(info at <a href="http://cl.tamu.edu/" rel="nofollow">http://cl.tamu.edu/</a> )<p>Does anyone know how much of this "Book of Proof" would require re-write to handle Common Logic ?