The essence of logic - Kelly, John (Prentice- Hall, 1997)