TY  - SER
AU  -  Carroll, Lewis, 
TI  -  Symbolic Logic 
AV  - BC 
PY  - 2009///
PB  -  Project Gutenberg, 
KW  -  Logic, Symbolic and mathematical
N1  -  Public domain in the USA;  Text
UR  -  http://www.gutenberg.org/ebooks/28696
ER  -