Books by Logic Colloquium '88 (1988 Padova, Italy)