Arend Heyting
article-link
What links here
Brouwer–Heyting–Kolmogorov interpretation
Ludics
article-link
Brouwer
article-link
Constructive proof
article-link
Curry–Howard correspondence
article-link
Axiomatic system
article-link
L. E. J. Brouwer
article-link
Truth value
article-link
Negation
article-link
Andrey Kolmogorov
article-link
Type theory
article-link