Language, Logic, and Computation