Publication:5579476
From MaRDI portal
zbMath0186.00501MaRDI QIDQ5579476
Publication date: 1966
Full work available at URL: http://mathnet.ru/eng/dan32387
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Intuitionistic Existential Instantiation and Epsilon Symbol, The eskolemization of universal quantifiers, Resolution is cut-free, The Skolemization of prenex formulas in intermediate logics, The Skolemization of existential quantifiers in intuitionistic logic