ACM Transactions on Computational Logic (TOCL), Volume 2

Volume 2, Number 1, January 2001

Volume 2, Number 2, April 2001

Volume 2, Number 3, July 2001

Volume 2, Number 4, October 2001

Special issue devoted to Robert A. Kowalski