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"
a service of Schloss Dagstuhl - Leibniz Center for Informatics