Handbook of Proof Theory Volume 137 Publisher Elsevier Editor Samuel R Buss You will find that the 128-ounce pack of one is a good choice for reference.