Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - Flum, Jörg; Flum, Jörg; Rodriguez-Artalejo, Mario; Rodriguez-Artalejo, Mario (Springer Berlin Heidelberg : Imprint: Springer, 1999)