Classical papers on computational logic : 1967-1970 (1983)