Logic Colloquium '86: Proceedings of the Colloquium held in Hull, U. K., July 13-19, 1986, ed. by F. R. Drake and J. K. Truss, North-Holland, 1986; Logic Colloquium '88, Padova, Italy (informationswissenschaftl. Veröffentlichungen)