🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer...