Language, Proof and Logic
76.00 GBP
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.