Validity and quantification in intuitionism (Q1153139)

From MaRDI portal