A 398‑page scholarly volume that intertwines formal logic with linguistic theory, presenting novel computational models, detailed proofs, and insightful discussions on syntax, semantics, and algorithmic inference.