Annals of Pure and Applied Logic, Volume 138

Volume 138, Numbers 1-3, March 2006

New Zealand Institute of Mathematics and its Applications: Logic and Computation Programme