PP-2020-12: Guram Bezhanishvili, Nick Bezhanishvili Jankov formulas and axiomatization techniques for intermediate logics 1.Full Text, 2.Abstract. < Back
