Logic and computer science. 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

DOI10.1007/BFB0093921zbMath0695.00004OpenAlexW600819829MaRDI QIDQ1188698

Could not fetch data.

Publication date: 17 September 1992

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0093921

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: Logic and computer science. 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