Translation:There is nobody in the library.
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 :)