Annals of Pure and Applied Logic, Volume 135

Volume 135, Numbers 1-3, September 2005