دانلود کتاب Logic and Computer Science: Lectures Given at the First Session of Centro Internazionale Matematico Estivo (C.I.M.E.) Held Montecatini Terme, Italy, June 20-18, 1988