Boeken over Prolegomena to the definition of dynamic predicate logic with local assignments