Lewis Carroll's formal logic - Abeles, Francine F. (2005)