BHK interpretation
Home
Wiki
Redirect to:
Brouwer–Heyting–Kolmogorov interpretation