Lógica Modal Quantificacional

Instituto Brasileiro de Informação em Ciência e Tecnologia (Ibict)
SAUS Quadra 5 - Lote 6 Bloco H - Asa sul - CEP: 70.070-912 - Brasília - DF