Annals of Pure and Applied Logic, Volume 61

Volume 61, Numbers 1-2, 6 May 1993

Special Issue: A selection of papers preseted at the Provability, Interpretability and Arithmetic Symposium

Volume 61, Number 3, 11 June 1993

maintained by Schloss Dagstuhl LZI, founded at University of Trier