1
by Paris, J. B.
Published 1986
North-Holland
...Logic Colloquium '84 (1984, Manchester)...