Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
-
nidottu
,
Englanti, 1984