Basic quantifier theory (1996)

by J Van der Does, J Van Eijck
Venue:Communications on pure and Applied Mathematics