open-logic-logicaltheory.pdf