Logic in algebraic form : three languages and theories - Craig, William, 1918- (North-Holland ; American Elsevier, 1974)