Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988
“ Knock, And He'll open the door. Vanish, And He'll make you shine like the sun. Fall, And He'll raise you to the heavens. Become nothing, And He'll turn you into everything. ” ― Rumi