Mathematical linguistics and proof theory (1997)

by W Buszkowski
Venue:In van Benthem and ter Meulen