تگ: A first course in formal logic