Elementos de lógica clássica formal e material - Acker, Leonardo van (1971)