States on Pseudo MV-Algebras
Finding Missing Proofs with Automated Reasoning
A Calculus of Substitutions for DPL
Book Reviews
Contents of Volume 68
Trends in Logic