LIBRARY Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings 1999 · ENGLISH · PDF View details →
LIBRARY Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games) 2008 · ENGLISH · PDF View details →
LIBRARY Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings 1999 · ENGLISH · PDF View details →