PP-2011-34: Nick Bezhanishvili, Dick de Jongh Extendible formulas in two variables in intuitionistic logic 1.Full Text, 2.Abstract. < Back
