CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings Book Discussion
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385)
by
