scientific article; zbMATH DE number 3266571

MaRDI QIDQ5551111zbMATH OpenFDO

Authors V. A. Matulis

Publication date 1963

zbMATH Keywords

general logic

Cited in

(2)

• Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification
• What you always wanted to know about rigid \(E\)-unification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5551111)