J. Campos Ferreira, Elementos de Lógica Matemática e Teoria dos Conjuntos