Computational logic
by Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss
Computer logicLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library
by Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss
Book data: Open Library