Mathematical linguistics and proof theory (0)

by Wojciech Buszkowski
Venue:In van Benthem and ter Meulen [25], chapter 12