Logic and Complexity (Softcover Reprint of the Original 1st 2004)Paperback - Softcover Reprint of the Original 1st 2004, 8 October 2012

Logic and Complexity introduces some of the fundamental ideas of Logic for Computer Science, by explaining the classical notions of mathematical logic, alongside new ideas brought by complexity theory.