Gives a rigorous grounding in mathematical logic, using techniques that are appropriate for computer science students and less abstract than books for mathematics students

Content includes topics that are rarely used except in computer science (temporal logic, resolution)

Applications for computer science are extensively discussed after the theory is presented

Autorentext