Computational formalisms: abstract combinatory viewpoint and related first order logical framework