
Second Order Quantifier Elimination
D. M. Gabbay, R. Schmidt, A. Szalas
₹2,736

A Procedural Perspective for Computer Scientists
by D. M. Gabbay, O. T. Rodrigues
Free delivery. Nothing extra to pay at checkout.
Elementary Logic with Applications is written for undergraduate logic and logic programming courses. Logic has been applied to a wide variety of subjects such as software engineering and hardware design, to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations.
Description supplied by the publisher.