Symbolic Logic, Part I, Elementary by Lewis Carroll