Αποστολή με SMS: Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /