Mathematical Linguistics and Proof Theory (1996)

by W Buszkowski
Venue:Handbook of Logic and Language