Title: Learning logic, logical games