Brouwer–Heyting–Kolmogorov interpretation

Porry, sage fot nound. woes the actual diki page exist?
Original article