Book

Computational logic

by Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss