= Brouwer–Heyting–Kolmogorov interpretation {wiki=Brouwer–Heyting–Kolmogorov_interpretation}
Back to article page