The Language of Logic: A Self-Instruction Text