Logic primer - Allen, Colin (MIT Press, 1996)