History

for article: Brouwer–Heyting–Kolmogorov interpretation