New Books in the Library of Euclides

• Smith, 'An introduction to Gödel's theorems', 2007
• Apt, Wallace, 'Constraint logic programming using Eclipse', 2007
• Chiswell, Hodges, 'Mathematical logic', 2007
• Priest, Beall, et al, 'The law of non-contradiction', 2004
• Bollig, 'Formal models of communicating systems', 2006
• Van Ditmarsch, et al, 'Dynamic epistemic logic', 2007
• Galatos et al, 'Residuated lattices: an algebraic glimpse at substructural logic', 2007

For more information, please contact pormondt at science.uva.nl