Describir: Absoluteness of intuitionistic logic /