Language, Proof and Logic
48.28 USD
Discover the foundations of computational linguistics through clear explanations of formal grammars, automata, and logical inference, with step‑by‑step proofs that connect syntax to semantics in a concise, accessible text.