A survey of symbolic logic | lit.salon