Logic for Computer Science. http://www.cis.upenn. edu/~jean/gbooks/logic.html, revised on-line edition (2003)

by J Gallier