Computation as logic by Lalement, René fromPrentice-Hall International Series in Computer Science 0 Type: Book
