Fields Of Logic And Computation by