New books in the Library

The following new books are available in the Library at the Euclides building:

• Hazewinkel (ed), Automata and algebras in categories, 1989
• Maddux, Relation algebras, 2006
• Oosten, Realizability: an introduction to its categorical side, 2008
• Yager et al. (eds), Classical works of the Dempster-Shafer theory of belief functions, 2008

For more information, please contact P.vanUlsen at uva.nl