scientific article
From MaRDI portal
Publication:3329439
zbMath0542.03007MaRDI QIDQ3329439
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
IMPROVING STRONG NEGATION ⋮ Double Negation Operator in Logic N ∗ ⋮ Unnamed Item ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC