The essence of logic - Kelly (Prentice Hal, 1997)