Workshop on Computer Science Logic (6th 1992 San Miniato, Italy)
Books by Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) on BookTides.