Logic Notes