Logic in algebraic form : three lenguages and theories. - Craig, William (rz1, 1974)