Fields of Logic and Computation II