Putnam H.,Smullyan R.M. ...