Интуиционистская система исчисления

Кто знаком с ней? Кто может подсказать в каком учебник или на каком сайте можно найти недоказуемость формулы (двойное отрицание) А ->А .
Никак не могу найти ничего.