TY - GEN AU - Harrison,Frank R TI - Deductive logic and descriptive language U1 - 162 PY - 1969/// CY - New J PB - Prentice-Hill KW - Logic ER -