Descriptive Complexity: a Logician's Approach to Computation Descriptive Complexity a Logician sApproach to Computation