Forma lógica e quantificação - Negrão, Esmeralda Vailati (Semântica formal, 2003)