Logic, Language, Information, and Computation

Logic, Language, Information, and Computation