Elementary Logic with Applications
A Procedural Perspective for Computer Scientists
Autor:
D M Gabbay
Elementary Logic with Applications is written for undergraduate logic and logic
programming courses. Logic has been applied to a wide variety of subjects such
Książka