Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and these two works show the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first work mislead you--this isn't about modern symbolic logic but about ways of expressing classical logic with symbols.