Logic primer - Allen, Colin (The MIT Press, 1999)