A Sourcebook for Classical Logic