Annals of Pure and Applied Logic, Volume 153

Volume 153, Numbers 1-3, April 2008

Special Issue: Classical Logic and Computation (2006)