@inbook{inbook9bd01ab4,
title   = {Forma lógica e quantificação},
author = {Negrão, Esmeralda Vailati},
year = {2003},
publisher = {Contexto},
journal   = {Semântica formal}
}