Kreisel, Georg Monadic operators defined by means of propositional quantification in intuitionistic logic. (English) Zbl 0464.03051 Rep. Math. Logic 12, 9-15 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 5 Documents MSC: 03F50 Metamathematics of constructive systems 03B60 Other nonclassical logic 03B20 Subsystems of classical logic (including intuitionistic logic) 03B55 Intermediate logics Keywords:functional incompleteness Citations:Zbl 0464.03001 PDFBibTeX XMLCite \textit{G. Kreisel}, Rep. Math. Logic 12, 9--15 (1981; Zbl 0464.03051)