Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands)
Books by Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands) on BookTides.