Boolos G., Putnam H. ...