MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 148 characters in body

Theory A (Algorithms/Complexity):

  1. Kleinberg, Tardos - Algorithms
  2. Easley, Kleinberg - Networks Crowds and Markets
  3. Nisan, Tardos, Vazirani - Algorithmic Game Theory
  4. Arora, Barak - Computational Complexity: A Modern Approach

Theory B (Logic/Semantics):Logic/Semantics/Automated Reasoning):

  1. Benjamin Pierce : - Types and Programming Languages
  2. Jean Yves Girard: Proofs and Types
  3. Paul Taylor: Practical
  4. Benjamin Pierce - Software Foundations of Mathematics
  5. Bart Jacobs: Categorical Logic and Type Theoryin Coq (Really lets you see how to translate theory into practice)
  6. The links here
  7. Harrison - Practical Logic and Automated Theorem Proving
show/hide this revision's text 1 [made Community Wiki]

Theory A (Algorithms/Complexity):

  1. Kleinberg, Tardos - Algorithms
  2. Easley, Kleinberg - Networks Crowds and Markets
  3. Arora, Barak - Computational Complexity: A Modern Approach

Theory B (Logic/Semantics):

  1. Benjamin Pierce: Types and Programming Languages
  2. Jean Yves Girard: Proofs and Types
  3. Paul Taylor: Practical Foundations of Mathematics
  4. Bart Jacobs: Categorical Logic and Type Theory
  5. The links here