TY - BOOK AU - Johnson,William Ernest TI - Logic U1 - 160 PY - 1964/// CY - New York PB - Dover Publications KW - Logic N1 - Includes bibliographical references and index; pt 2, demonstrative inference : deductive and inductive -- ER -