Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil By Walter A. Carnielli, Itala M. L. D'Ottaviano, Walter A. Carnielli (ed.)
1999 | 344 Pages | ISBN: 0821813641 | DJVU | 4 MB