Symposium on Logic in Computer Science (1986 Cambridge, Mass.).
Books by Symposium on Logic in Computer Science (1986 Cambridge, Mass.). on BookTides.