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 http://cl.tamu.edu/ )Does anyone know how much of this "Book of Proof" would require re-write to handle Common Logic ?