Absoluteness of intuitionis logic door Leivant