Books Authored by Iosif Pinelis