A predicate logic based on the Goedel interpretation and the system of hereditary effective operationsдоклад на конференции