Computability by monadic second-order logic