proceedings of the logic colloquium. held in aachen, july 18-23, 1983

· springer publishing map