Fields of Logic and Computation III