Kripke, S. A. Semantical analysis of intuitionistic logic. I. (English) Zbl 0137.00702 Formal Syst. and Recurs. Funct., Proc. 8th Logic Colloquium, Oxford 1963, 92-130 (1965). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 118 Documents Keywords:mathematical logic PDFBibTeX XML