Publication:5581594
From MaRDI portal
zbMath0188.01202MaRDI QIDQ5581594
Publication date: 1967
Related Items
Proof-search in intuitionistic logic based on constraint satisfaction, Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification, What you always wanted to know about rigid E-unification, Deduction search in calculi of general type