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

No description available.
Computer logicLogic, symbolic and mathematical
by Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss

No description available.