The essence of logic - Kelly, John J. (John Joseph), 1940 November 23-1995 (Prentice Hall, 1997)