Enviar aquest missatge de text: Absoluteness of intuitionistic logic /