Natural Deduction for Generalized Quantifiers (1991)

by M van Lambalgen
Venue:Generalized Quantifiers: Theory and Applications, Dutch Ph. D. Network for Logic, Language and Information