@book{book42c05352,
title   = {Cálculo proposicional: uma interação entre a álgebra e a lógica},
author = {Miraglia Neto, Francisco},
year = {1987},
publisher = {Centro de Lógica, Epistemologia e História da Ciéncia}
}