Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany)
Books by Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany) on BookTides.