Annals of Pure and Applied Logic, Volume 75

Volume 75, Numbers 1-2, 12 September 1995

Special Issue Invited papers presented at the "Conference on Proof Theory, Provability Logic, and Computation" 20-24 March 1994, Berne, Switzerland

Volume 75, Number 3, 27 October 1995