New books in the library

The following books are now available in the library at the Science Park:

• Descriptive set theory and definable forcing / J. Zapletal. 31.10 IVc - ZAPL
• Handbook of knowledge representation / ed. F. van Harmelen ...
  31.10 Va - HARM

For more information, see http://cf.uba.uva.nl/nl/