Annals of Pure and Applied Logic, Volume 67

Volume 67, Numbers 1-3, 17 May 1994

Special Volume: A Selection of Papers Presented at the Symposium "Logic at Tver '92"
maintained by Schloss Dagstuhl LZI, founded at University of Trier