HOL is an abbreviation for Higher order logic[?], a branch of symbolic logic in which statements can be quantified over objects, predicates, predicates of predicates etc.
... usual commercial newspaper.)
Combat Zone Nord[?]
Comite d’Action Socieliste[?] (CAS) - Founded in January 1941 by Daniel Mayer[?], member of the French Socialist ...