This document is unfortunately not available for download at the moment.
L be a classical (two-valued) first-order language that contains a family p of predicates. From a general point of view, the set F of all formulas at the level of the two-valued predicate calculus becomes, as is well known, a Boolean algebra after identification of equivalent formulas." />
pp. 49-80
This document is unfortunately not available for download at the moment.