scientific article
From MaRDI portal
Publication:3837726
zbMath0858.03031MaRDI QIDQ3837726
Publication date: 11 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Equality of proofs for linear equality ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Propositional calculus under adjointness
This page was built for publication:
