Logic Colloquium

Published July 1982