@Book{Car86, Author = "Carroll, L.", Year = "1986", Title = "{Lewis Carroll's Symbolic Logic}", Publisher = "C.N. Potter", Comment = "TPTPRef" }