%0 Book
%A edited by G. H. Muller and M. M. Richter
%T Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
%U /book/101371171/Proceedings-of-the-Logic-Colloquium-held-in-Aachen/