Quine, W. V. O. "Methods of Logic" (2nd Ed.). Routledge and Kegan Paul, London, 1959
(1959)
Languages mentioned
Quine
{1952} Quine's logic system