Logic databook. (s.e., 1981)