Kearns, J.T. Deductive logic: a programmed introduction - 1969. viii-4 - New century. New York, U.S.A.