Logic Journal of the IGPL, Volume 9, 2001

Volume 9, Number 1, January 2001

Volume 9, Number 2, March 2001

Volume 9, Number 3, May 2001

Volume 9, Number 4, July 2001

Volume 9, Number 5, September 2001

Volume 9, Number 6, November 2001

Ruy J. G. B. de Queiroz (Ed.): 7th Workshop on Logic, Language, Information and Computation, International Conference, WoLLIC 2000, Natal, RN, Brazil, August 15 - 16, 2000, Proceedings