proceedings of the logic colloquium. held in aachen, july 18-23, 1983 (en Inglés)

· springer publishing map