"Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983" - читать интересную книгу автора (G. H. Müller, M. M. Richter)