Publication:4109666
From MaRDI portal
zbMath0342.02034MaRDI QIDQ4109666
Publication date: 1976
Full work available at URL: https://eudml.org/doc/66283
Related Items
Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification, On the Mints Hierarchy in First-Order Intuitionistic Logic, The undecidability of simultaneous rigid E-unification, Decidability and complexity of simultaneous rigid E-unification with one variable and related results, Logic with equality: Partisan corroboration and shifted pairing