FIRST ORDER LOGIC RAYMOND SMULLYAN PDF