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. 



Recently many extensions of classical logic such as temporal, modal, relevance, 

fuzzy and non-monotonic logics have been widely used in computer science,