Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic. ISBN 0444864652. Published by North-Holland Publishing in 1982. Publication and catalogue information, links to buy online and reader comments.