Symbolic Logic Manual