INTROCDUCTION TO FULID LOGIC - FITCH,E.C. (MCGRAW HILL BOOK COMPANY,INC., 1978)