APC: the algorithmic predicate calculus. - W. Przyluski (Fundam. Informaticae, 1981)