willard van orman quine mathematical logic revised edition, 1965. new york: harper torchbooks. softcover. Sold