The Logic Manual