Please note that this newsitem has been archived, and may contain outdated information or links.
New books in the library
The following new books are available at the library at SP904:
- Advances in Modal Logic (AiML), volumes 6, 7 and 8
- Hybrid logic and it's proof-theory, Torben Brauner
For more information, contact P.vanUlsen at uva.nl
Please note that this newsitem has been archived, and may contain outdated information or links.