Classical papers on computational logic : 1957-1966 (1983)