I suppose you can also say, "There is no one in the library".
There isnt anybody in the library
Why the double negative?
That's quite common for Slavic languages, and I believe for Spanish too. It is not boolean logic :)
No hay nadie - double negative in Spanish
Никого нет (to nobody is not) - double negative in Russian