Annals of Pure and Applied LogicVolume 134, Issue 1, June 2005, Pages 1-4PrefaceWoLLIC’2002Author links open overlay panelRuy de Queiroz a, Bruno Poizat b, Sergei Artemov cShow moreShareCitehttps://doi.org/10.1016/j.apal.2004.10.015Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2004 Elsevier B.V. All rights reserved.