Annals of Pure and Applied Logic, Volume 151

Volume 151, Number 1, January 2008

Volume 151, Numbers 2-3, February 2008

First Games for Logic and Programming Languages Workshop
maintained by Schloss Dagstuhl LZI, founded at University of Trier