dblp.uni-trier.de www.uni-trier.de

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

Copyright © Mon Nov 2 21:24:57 2009 by Michael Ley (ley@uni-trier.de)