sur 18
Logic Colloquium '86 — F.R. Drake, J.K. Truss