Title: Fields of Logic and Computation III