Computation as logic

The syntactic landscape reduction first-order logic models equational logic resolution the computable landscape.