Books by Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany)