Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings 1991 · ENGLISH · DJVU View details →
