Annals of Pure and Applied LogicVolume 137, Issues 1–3, January 2006, Pages 1-2PrefaceAuthor links open overlay panelBernhard Banaschewski (Editor) a, Thierry Coquand (Editor) b, Giovanni Sambin (Editor) cShow moreShareCitehttps://doi.org/10.1016/j.apal.2005.05.015Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2005 Elsevier B.V. All rights reserved.