TY - BOOK AU - Leblanc, Hugues TI - Techniques of deductive inference U1 - 164 PY - 1966/// CY - London PB - Prentice-Hall International, Inc. KW - Logic KW - Symbolic KW - Mathematical ER -