News and Events: Miscellaneous

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

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