Logic Primer - Allen, Colin; Hand, Michael (MIT Press, 2001)