Essence of logic (1997)