scientific article; zbMATH DE number 3402570
From MaRDI portal
Publication:5668434
zbMath0255.02013MaRDI QIDQ5668434
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A constructive proof of Craig's interpolation lemma for m-valued logic ⋮ Post Algebras in the Work of Helena Rasiowa ⋮ Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents ⋮ The Gentzen style axiomatization of \(\omega^+\)-valued logic ⋮ Trees and diagrams of decomposition
This page was built for publication:
