Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller H

Proof Theory and Logic Programming by Dale Miller: New

Genetic and Evolutionary Computation Ser.: Genetic Programming Theory and...

Stochastic Linear Programming: Models, Theory, and Computation (Hardback or Case

Logic and Computation: By Lawrence C Paulson Hardcover

Theory of Computation by George Tourlakis (2012, Hardcover)

Logic Programming: Operational Semantics and Proof Theory by James H. Andrews (E

Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vie...