Logic colloquium '80. - Dalen D Van Ed.; Lascar D Ed. (Oxford North Holland Publishing, 1982)