Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Please note that this newsitem has been archived, and may contain outdated information or links.