Heyting, A. On weakened quantification. (English) Zbl 0063.02004 J. Symb. Log. 11, 119-121 (1946). Not reviewed Cited in 5 Documents PDFBibTeX XMLCite \textit{A. Heyting}, J. Symb. Log. 11, 119--121 (1946; Zbl 0063.02004) Full Text: DOI